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 LAA07623; Fri, 28 Feb 2003 11:53:20 +0100 (MET) 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 LAA07484 for ; Fri, 28 Feb 2003 11:53:19 +0100 (MET) Received: from mel-rto6.wanadoo.fr (smtp-out-6.wanadoo.fr [193.252.19.25]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h1SArIH06413 for ; Fri, 28 Feb 2003 11:53:18 +0100 (MET) Received: from mel-rta6.wanadoo.fr (193.252.19.26) by mel-rto6.wanadoo.fr (6.7.015) id 3E0C343F02825158; Fri, 28 Feb 2003 11:53:15 +0100 Received: from iliana (81.51.50.38) by mel-rta6.wanadoo.fr (6.7.015) id 3E26CE210188B0E7; Fri, 28 Feb 2003 11:53:15 +0100 Received: from luther by iliana with local (Exim 3.36 #1 (Debian)) id 18oi8g-0000mJ-00; Fri, 28 Feb 2003 11:53:14 +0100 Date: Fri, 28 Feb 2003 11:53:13 +0100 To: Jacques Garrigue Cc: roberto@dicosmo.org, caml-list@inria.fr Subject: Re: [Caml-list] Alternative proposal: COAN Message-ID: <20030228105313.GA2850@iliana> References: <02103BF1-4835-11D7-B97A-000A95773ED2@rouaix.org> <15963.19322.759255.37091@gargle.gargle.HOWL> <20030228182016D.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20030228182016D.garrigue@kurims.kyoto-u.ac.jp> User-Agent: Mutt/1.5.3i From: Sven Luther Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, Feb 28, 2003 at 06:20:16PM +0900, Jacques Garrigue wrote: > > * Easy installation means that you should be able to download, compile > and install the desired ocaml program or library in one single > command, including all the dependencies. > This does not mean that a binary should be available. A binary will > only work with a single version of ocaml and all dependencies, which Yes, but notice that this may also be true for the source version, which sometimes need to be changed between sucessive ocaml versions. Also, this does not take into account the fact that the libraries you may use will change also from time to time. I have been confronted with this problem quite a bit, and i think we need to move to something where each library (and ocaml suite) can advertize its compatibility version. Something akin to the sonames used by C shared libraries. I began this move for the ocaml debian package in december, by moving the libdir to /usr/lib/ocaml/3.06, and have planes to have fully parallel instalable ocaml packages by the time 3.07 and debian/sarge are released. The libdir is only one thing, but there are also the binaries to take into acount, most important among them is ocamlrun. I would encourage a move from ocamlrun to ocamlrun- in the standard install, or at least a configure option to add the version number to all binaries. The aim of this is to be able to still keep bytecode executables around which were compiled for older versions, even when you are working with the new version. > is way too restrictive. Binaries may be provided on a by OS basis, > but then it is much more comfortable for users to use the packaging > system provided by the OS (tgz on FreeBSD, rpms on redhat, deb on > debian, pkg on OSX, ??? on windows...) If the basic framework is > right, that work should be easy enough. You know that there are at least 3 BSD ports of debian, not yet official though. There is also work on debian/mingw, and debian/djpp (for plain dos). > * Dependency resolution and automatic recompilation/reinstallation is > the core of the problem. > When you modify an ocaml library, all its dependencies have to be > recompiled. You certainly want to automate this, and have some > foolproof system to be able to go back to a stable state. This is > also an area where a bit of compiler "support" may become necessary. > At least, have different library directories for different version > of ocaml, ideally some scheme a la OSX to install several versions > of the same package in parallel. Yes, i agree with you on that. Friendly, Sven Luther ------------------- 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