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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 0A760BC0A for ; Wed, 16 May 2007 06:20:18 +0200 (CEST) Received: from ipmail01.adl2.internode.on.net (ipmail01.adl2.internode.on.net [203.16.214.140]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4G4KFT9024887 for ; Wed, 16 May 2007 06:20:16 +0200 X-IronPort-AV: E=Sophos;i="4.14,538,1170595800"; d="scan'208";a="129111904" Received: from ppp59-172.lns2.syd6.internode.on.net (HELO [192.168.1.201]) ([121.44.59.172]) by ipmail01.adl2.internode.on.net with ESMTP; 16 May 2007 13:49:54 +0930 Subject: Re: [Felix-impl] [Caml-list] Re: it no me build From: skaller To: Erick Tryzelaar Cc: caml-list@inria.fr, felix-impl , Rhythmic Fistman , Emmanuel Onzon In-Reply-To: <464A5F02.8030001@users.sourceforge.net> References: <131e28b50705141643l195bae7cxb80c278e5eec7c4f@mail.gmail.com> <1179251231.7592.9.camel@rosella.wigram> <131e28b50705151200k7989f3d2m64ef3cea4668ca33@mail.gmail.com> <1179258190.7592.46.camel@rosella.wigram> <131e28b50705151327h6f99aceerec01e9d3a10e883f@mail.gmail.com> <464A2672.7010801@users.sourceforge.net> <20070515233918.85npk1xlc88owksg@tadorne.ens-lyon.fr> <464A2CA1.6040704@users.sourceforge.net> <1179267261.7592.86.camel@rosella.wigram> <464A5F02.8030001@users.sourceforge.net> Content-Type: text/plain Date: Wed, 16 May 2007 14:19:51 +1000 Message-Id: <1179289191.7592.101.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 464A867F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; -pack:01 makefiles:01 ocamlopt:01 makefile:01 debugging:01 compiler:01 ocamlopt:01 -warn-error:01 -pack:01 cmx:01 sig:01 cmi:01 cmx:01 parser:01 -warn-error:01 On Tue, 2007-05-15 at 18:31 -0700, Erick Tryzelaar wrote: > skaller wrote: > > On Tue, 2007-05-15 at 14:56 -0700, Erick Tryzelaar wrote: > >> Emmanuel Onzon wrote: > >>> In the next version of dypgen I will get rid of -pack, because it > >>> makes things simpler. I hope it will improve RF's problem. > >> I'm not sure if it's a pack issue. I can take your Makefiles and get it > >> to work using ocamlopt, so I think it's a problem in our build system. > > > > That's possible .. but it builds on Linux. > > > > The thing to do is use the Makefile to build with debugging log, > > then do Felix build, and compare the compiler/link/pack/make > > the library steps to see if I messed up something. > > That was a pain. I found the problem, and a workaround. The line: > > ocamlopt.opt -w yzex -warn-error FDPSU -I dypgen/dyplib -pack -o > dypgen/dyplib/dyp.cmx dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx > dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx > dypgen/dyplib/parser.cmx > > Needs a "-I dypgen/dyplib", like this: > > ocamlopt.opt -w yzex -warn-error FDPSU -pack -o dypgen/dyplib/dyp.cmx > dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx > dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx > dypgen/dyplib/parser.cmx > > I'm guessing ocaml needs to bake the path into the pack file, or > something. I'll change the build system so it works. > > I'm sure this is a bug in ocaml since it works everywhere else. We > probably should file an ocaml bug on it. Ahem .. the lines are backwards -- that's a huge dyslexia :) So the bug in Ocaml is, on OSX we use: ocamlopt.opt -w yzex -warn-error FDPSU -pack -o dypgen/dyplib/dyp.cmx dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx dypgen/dyplib/parser.cmx but we needed: ocamlopt.opt -w yzex -warn-error FDPSU -I dypgen/dyplib -pack -o dypgen/dyplib/dyp.cmx dypgen/dyplib/sig.cmi dypgen/dyplib/gs.cmx dypgen/dyplib/priority_by_relation.cmx dypgen/dyplib/automaton.cmx dypgen/dyplib/parser.cmx -- John Skaller Felix, successor to C++: http://felix.sf.net