From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA29180; Sun, 5 Sep 2004 18:13:25 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA29733 for ; Sun, 5 Sep 2004 18:13:24 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from postfix4-2.free.fr (postfix4-2.free.fr [213.228.0.176]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i85GDNh4001965 for ; Sun, 5 Sep 2004 18:13:24 +0200 Received: from warp (chateaudeau-4-82-225-176-25.fbx.proxad.net [82.225.176.25]) by postfix4-2.free.fr (Postfix) with SMTP id 0989E1CA435; Sun, 5 Sep 2004 18:13:23 +0200 (CEST) Message-ID: <001d01c49363$6b33aa90$19b0e152@warp> From: "Nicolas Cannasse" To: "David Brown" , "skaller" Cc: "caml-list" References: <4139ECD3.1050708@cs.caltech.edu> <001e01c492a6$872c7280$19b0e152@warp> <413A0921.7030607@ntlworld.com> <413A1E89.10806@libertysurf.fr> <1094361655.3352.476.camel@pelican.wigram> <20040905132006.GA15531@old.davidb.org> <1094394672.3352.597.camel@pelican.wigram> <20040905160228.GA29119@old.davidb.org> Subject: Re: [Caml-list] Announcing the OMake build system version 0.9.1 Date: Sun, 5 Sep 2004 18:14:27 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 X-Miltered: at nez-perce with ID 413B3B24.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; cannasse:01 warplayer:01 caml-list:01 ocamldep:01 camldep:01 dependencies:01 foo:01 foo:01 cmx:01 ocamake:01 ocamldep:01 motion-twin:01 ocamake:01 mli:01 heuristics:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > > I wrote a tool to do this, but ran into the first problem above. Perhaps I > > > should investigate adding this capability to something like omake. > > > > Well ocamldep already does most of the work -- for Ocaml code. > > camldep does give all of the necessary information (well, it used to). It > seems to leave out dependencies that it thinks are obvious (foo.ml produces > foo.cmo or foo.cmx). But, at least it has enough dependency information to > produce build rules. I haven't seen anything actually use that information > though. Ocamake is using ocamldep to build the dependency tree : http://tech.motion-twin.com/ocamake. However, two modules can be mutualy recursive from ocamldep point of view (both ML depending on other MLI), and this is not enough information to know in which order we need to link the CMO : this even might be impossible to link in the cases the modules are effectively recursive ! OCamake is doing some additional heuristics to try to guess which linking order is best. Nicolas Cannasse ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners