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 UAA12230; Mon, 24 Nov 2003 20:04:09 +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 UAA12464 for ; Mon, 24 Nov 2003 20:04:08 +0100 (MET) Received: from eris.rz.uni-saarland.de (eris.rz.uni-saarland.de [134.96.7.8]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAOJ47114602 for ; Mon, 24 Nov 2003 20:04:07 +0100 (MET) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.254.254]) by eris.rz.uni-saarland.de (8.12.10/8.12.9) with ESMTP id hAOJ45mu16560632; Mon, 24 Nov 2003 20:04:05 +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 hAOJ44d7008577; Mon, 24 Nov 2003 20:04:04 +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 hAOJ43dc009097; Mon, 24 Nov 2003 20:04:03 +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 619F134B1AA; Mon, 24 Nov 2003 20:04:03 +0100 (CET) Received: by jacobs.cs.uni-sb.de (Postfix, from userid 7528) id 0C6D097C7F; Mon, 24 Nov 2003 20:04:03 +0100 (CET) Date: Mon, 24 Nov 2003 20:04:03 +0100 From: Christian Lindig To: rose@acm.org Cc: caml-list@inria.fr Subject: Re: [Caml-list] Building large and portable projects Message-ID: <20031124190402.GA9141@st> Mail-Followup-To: Christian Lindig , rose@acm.org, caml-list@inria.fr References: <20031120195614.GB441@gallu.homelinux.org> <000f01c3afd1$30033c90$0274a8c0@PWARP> <20031121052549.GA8599@davidb.org> <008301c3aff3$1030e760$0274a8c0@PWARP> <20031121064950.GA836@gallu.homelinux.org> <1069431167.5426.45.camel@pelican> <3FC247BA.8030806@tfb.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <3FC247BA.8030806@tfb.com> 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 hashes:01 reuse:01 equality:01 writes:01 nov:01 commands:97 wrote:03 wrote:03 execute:04 0800,:04 derived:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Nov 24, 2003 at 10:02:34AM -0800, Ken Rose wrote: > skaller wrote: > Perhaps you should take a look at Vesta (www.vestasys.org) It uses a > functional language to describe how to build a system, uses hashes to > determine file equality, and caches derived files for reuse. In Vesta, your file system is part of the build system; when you execute commands, it observes, which files in the file system it reads or writes. While this ensures that Vesta really knows what files you depend on, down to system libraries, it requires quite a setup. -- Christian ------------------- 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