From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.4 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id E9732BBAF for ; Mon, 9 Mar 2009 15:25:52 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0CAJvDtEnRVcbukGdsb2JhbACMcYd8QQEBCQkMBxEDrjAwhCWISAEDAQOEAgaFIoFH X-IronPort-AV: E=Sophos;i="4.38,329,1233529200"; d="scan'208";a="25290140" Received: from rv-out-0506.google.com ([209.85.198.238]) by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Mar 2009 15:25:52 +0100 Received: by rv-out-0506.google.com with SMTP id g9so2641216rvb.1 for ; Mon, 09 Mar 2009 07:25:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to:cc :content-type:content-transfer-encoding; bh=4oPRpr3wjo9QV6X3r46ojm2MvMRC2vuD8JxPgWGpBOM=; b=ihD9I5/e11WYpB6113N+j3vziEPl/oaX0Ee/ab7DxmLrQWicrjH6/CBtWY4LxfdY8v LsTSkJ6e422ExCBIaTmlWY5ISHYWcLRcskTwyK1aS7kNHUQRKSVKdpOyPb9e8o6BbTQL piFAOGO+MuYK8+p/5fqcFMvEUjhPE4KEw5tdY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; b=CSnPykn9WEVjZPog98XtX9K58gTYEH6uNbJt5L3iblglWvMpoqlvO+yJfq+KzPqc+f PuSiKlPY3bsdz8GrHpQdFooz2fplcNLdku06/irss6soQhU0MDWlxflbXd7izDJ7YXgA srnZ/3LkJINT+gQ2A9w5YeBJy21DWAg1nZcCg= MIME-Version: 1.0 Sender: peter.hawkins@gmail.com Received: by 10.115.89.18 with SMTP id r18mr3555693wal.111.1236608751229; Mon, 09 Mar 2009 07:25:51 -0700 (PDT) In-Reply-To: <3481207A-8ECF-4070-A1B6-DE47F77BCBC1@CS.Princeton.EDU> References: <3481207A-8ECF-4070-A1B6-DE47F77BCBC1@CS.Princeton.EDU> Date: Mon, 9 Mar 2009 07:25:51 -0700 X-Google-Sender-Auth: 077cafa89c43037d Message-ID: Subject: Re: [Caml-list] batteries, godi and OS X leopard From: Peter Hawkins To: Yitzhak Mandelbaum Cc: List caml Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; mli:01 cheers:01 yitzhak:01 mandelbaum:01 compilation:01 workarounds:01 mli:01 yitzhak:01 ocamlfind:01 ocamlc:01 -package:01 findlib:01 libs:01 libs:01 ocamlnet:01 Hi... Yes. The problem is to do with the case of "Compilers.mli": http://forge.ocamlcore.org/tracker/index.php?func=3Ddetail&aid=3D168&group_= id=3D17&atid=3D151 I have no idea how you fix this if you're doing a GODI build. I gave up and built everything by hand. Cheers, Peter On Mon, Mar 9, 2009 at 6:38 AM, Yitzhak Mandelbaum wrote: > Hi all, > > I'm having a compilation problem with batteries under godi, running OS X > Leopard. Has anyone else encountered this? =A0Any workarounds? I've tried > manually compiling compilers.mli (works), but then when I rerun make it > deletes all of the build directories as a first step, so I'm out of luck. > > Thanks, > Yitzhak > > Here's the log from godi_console: > > + ocamlfind ocamlc -c -g -package findlib -I src/libs/compilers -I src -I > src/main -I src/libs -I src/core -I src/libs/sexplib -I src/libs/ocamlnet= -I > src/libs/findlib -I src/libs/common -I src/libs/camlzip -I > src/core/extlib_threads -I src/core/extlib -I src/core/baselib_threads -I > src/core/baselib -I buil d/optcomp -o src/libs/compilers/compilers.cmo > src/libs/compilers/compilers.ml >> File "src/libs/compilers/compilers.ml", line 1, characters 0-1: >> Could not find the .cmi file for interface >> src/libs/compilers/compilers.mli. >> Command exited with code 2. >> make[7]: *** [byte] Error 10 >> Error: Exec error: File >> /Users/yitzhakm/sw/godi/build/godi/godi-batteries/./. > =A0./../mk/bsd.pkg.mk, line 1039: Command returned with non-zero exit cod= e >> Error: Exec error: File >> /Users/yitzhakm/sw/godi/build/godi/godi-batteries/./. > =A0./../mk/bsd.pkg.mk, line 1378: Command returned with non-zero exit cod= e > > ### Error: Command fails with code 1: godi_console > > ----------------------------- > Yitzhak Mandelbaum > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >