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 HAA29675; Wed, 3 Mar 2004 07:25:43 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 HAA29535 for ; Wed, 3 Mar 2004 07:25:42 +0100 (MET) Received: from localhost (adsl-64-162-212-212.dsl.snfc21.pacbell.net [64.162.212.212]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i236PeUM007214 for ; Wed, 3 Mar 2004 07:25:41 +0100 Received: by localhost (Postfix, from userid 1000) id 9C4856A4B39; Tue, 2 Mar 2004 22:25:39 -0800 (PST) Date: Tue, 2 Mar 2004 22:25:39 -0800 From: Kenneth Knowles To: ijtrotts@ucdavis.edu, caml-list@inria.fr Subject: Re: [Caml-list] [ANNOUNCE] Development versions: ocamlconf, ASPCC Message-ID: <20040303062539.GA27167@tallman.kefka.frap.net> References: <20040303014757.GA23400@tallman.kefka.frap.net> <20040303051611.GA1204@manzanita> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040303051611.GA1204@manzanita> User-Agent: Mutt/1.5.6i X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; knowles:99 caml-list:01 david's:01 haskell:01 asts:01 diffing:01 outputs:01 outputs:01 analogous:01 mlc:99 mlc:99 compiler:01 debug:01 debug:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 30 Sorry if I wasn't clear about this: > I guess you mean David's Advanced Revision Control System. DARCS is very nice; if you are familiar with Tom Lord's arch, consider a similar design, but many fewer commands and simpler usage - this may or may not be ideal for you. I also gain a lot of confidence from DARCS being written in Haskell. > There is no Debian package for this, > though it looks like a useful program. >>From the DARCS webpage: ---------------------- Debian users If you use debian, you can install darcs via apt. For woody, add the following lines to your sources.list: deb http://http.abridgegame.org/debian/ woody/ deb-src http://http.abridgegame.org/debian/ woody/ If you are running woody, and want to compile darcs yourself, you may want to add the following line as well, which provides a ghc compiler that is sufficiently recent to compile darcs: deb http://www.syntaxpolice.org/haskell-experimental/ stable/ If you are running sid (Debian unstable), you can instead use the following lines: deb http://http.abridgegame.org/debian/ unstable/ deb-src http://http.abridgegame.org/debian/ unstable/ > I wonder if Darcs could be modified to explicitly keep track of changes > to the ASTs of OCaml source files... Now this sounds interesting! Someone very ambitious could invent a source control item with plugins for parsing different languages, and diffing the trees. > Could it output an OCaml script instead of a makefile? It would > probably be easier to read, debug, and modify. I phrased this badly. What you want, is what it does, I think. I should have said that it "outputs a configure script, which when run outputs a makefile and config.ml" I will quickly explain all of what it does. (1) You write configure.ml, somewhat analogous to configure.ac (2) You run ocamlconf, it creates a configure script ---- (3) The end user/you run the configure script - it outputs a makefile and/or configuration summary ocaml file. (4) make && make install Every stage is easy to debug - your configure.ml script is a simple ocaml script. The configure script (actually configure.mlc, for technical reasons, and the configure script is a shell wrapper around `ocaml configure.mlc`) is also plain text ocaml, but with additional code copied into it. And even the makefile is about as simple as possible for your project, so hopefully bugs in ocamlconf will easily be discovered. Kenn ------------------- 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