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 KAA16637; Fri, 21 Nov 2003 10:15:03 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA16655 for ; Fri, 21 Nov 2003 10:15:02 +0100 (MET) Received: from indyio.rz.uni-saarland.de (indyio.rz.uni-saarland.de [134.96.7.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAL9F1111214 for ; Fri, 21 Nov 2003 10:15:01 +0100 (MET) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.254.254]) by indyio.rz.uni-saarland.de (8.12.10/8.12.9) with ESMTP id hAL9F0FX47355193 for ; Fri, 21 Nov 2003 10:15:00 +0100 (CET) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.10/2003091100) with ESMTP id hAL9ExgN022977 for ; Fri, 21 Nov 2003 10:14:59 +0100 (CET) Received: from mail.st.cs.uni-sb.de (goscinny.cs.uni-sb.de [134.96.235.32]) by mail.cs.uni-sb.de (8.12.10/2003073000) with ESMTP id hAL9Epdc019369 for ; Fri, 21 Nov 2003 10:14:51 +0100 (CET) X-Authentication-Warning: email: Host goscinny.cs.uni-sb.de [134.96.235.32] claimed to be mail.st.cs.uni-sb.de Received: from jacobs.cs.uni-sb.de (jacobs.cs.uni-sb.de [134.96.235.135]) by mail.st.cs.uni-sb.de (Postfix) with ESMTP id DD96B34B1AA for ; Fri, 21 Nov 2003 10:14:50 +0100 (CET) Received: by jacobs.cs.uni-sb.de (Postfix, from userid 7528) id C807B97C81; Fri, 21 Nov 2003 10:14:50 +0100 (CET) Date: Fri, 21 Nov 2003 10:14:50 +0100 From: Christian Lindig To: Caml Mailing List Subject: Re: [Caml-list] Building large and portable projects Message-ID: <20031121091450.GD1581@st> Mail-Followup-To: Christian Lindig , Caml Mailing List References: <20031120195614.GB441@gallu.homelinux.org> <000f01c3afd1$30033c90$0274a8c0@PWARP> <20031121052549.GA8599@davidb.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20031121052549.GA8599@davidb.org> X-No-Archive: yes X-URL: http://www.st.cs.uni-sb.de/~lindig/ User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lindig:01 lindig:01 uni-sb:01 caml-list:01 ocamldep:01 emits:01 uni-sb:01 ocaml:01 ocaml:01 handles:01 nov:01 syntax:02 wrote:03 compilation:04 0800,:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Nov 20, 2003 at 09:25:49PM -0800, David Brown wrote: > I still haven't found anything nicer than gnatmake, the builder for Gnu > Ada. A common compilation line: > > gnatmake mainmodule There is an inherent tension between large projects and writing a tool like gnatmake: large projects are not entirely written in OCaml, or any other single language. While it is possible to write a tool that is smart about OCaml, it can't know about about all the other tools you are using to generate documentation, or to generate OCaml code from some specification language. A make replacement therefore must be language-neutral. You still could write a tool that handles recompilation of pure OCaml projects but you would have to use it from a language-neutral make replacement in truly large projects. Ocamldep is a simple example for such a tool: it is smart about OCaml but it emits Make syntax and does not try to solve the problem that Make can solve better. -- Christian -- Christian Lindig http://www.st.cs.uni-sb.de/~lindig/ ------------------- 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