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 VAA02343; Tue, 13 Apr 2004 21:57:10 +0200 (MET DST) 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 VAA02494 for ; Tue, 13 Apr 2004 21:57:09 +0200 (MET DST) Received: from sccrmhc13.comcast.net (sccrmhc13.comcast.net [204.127.202.64]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i3DJv7YM018051 for ; Tue, 13 Apr 2004 21:57:08 +0200 Received: from poincare (pcp05653668pcs.pimaco01.az.comcast.net[68.37.92.117]) by comcast.net (sccrmhc13) with ESMTP id <20040413195702016003msefe>; Tue, 13 Apr 2004 19:57:06 +0000 Received: from poincare ([127.0.0.1] helo=localhost ident=trch) by poincare with esmtp (Exim 3.36 #1 (Debian)) id 1BDU1u-00010g-00; Tue, 13 Apr 2004 21:57:10 +0200 Date: Tue, 13 Apr 2004 21:57:09 +0200 (CEST) Message-Id: <20040413.215709.133591297.Christophe.Troestler@umh.ac.be> To: info@gerd-stolpmann.de Cc: jgoerzen@complete.org, trevor.andrade@utoronto.ca, caml-list@inria.fr Subject: Re: [Caml-list] Re: GODI From: Christophe TROESTLER In-Reply-To: <1081884649.24590.122.camel@ice.gerd-stolpmann.de> References: <1081867999.282.65.camel@ares> <20040413.200746.94354715.Christophe.Troestler@umh.ac.be> <1081884649.24590.122.camel@ice.gerd-stolpmann.de> Organization: Universite de Mons-Hainaut X-URL: http://www.umh.ac.be/math/an/ X-Spook: ASDIC BROMURE Sundevil kilo class Roswell monarchist Clinton freedom JSOFC3IP eavesdropping X-Mailer-URL: http://www.mew.org/ X-Operating-System: GNU/Linux (http://www.linux.org/) X-Blessing: Om Ah Hum Vajra Guru Pema Siddhi Hum X-Mailer: Mew version 4.0.61 on Emacs 21.3.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit 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; caml-list:01 troestler:01 troestler:01 gerd:01 stolpmann:01 2004:99 gerd:01 stolpmann:01 internals:01 api:01 findlib:01 findlib:01 pervasive:01 sven:01 pervasives:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 283 On Tue, 13 Apr 2004, Gerd Stolpmann wrote: > > On Die, 2004-04-13 at 20:07, Christophe TROESTLER wrote: > > On 13 Apr 2004, Gerd Stolpmann wrote: > > > > > > However, I can imagine we could have "GODI Light" that assumes there is > > > already a working O'Caml installation, and that only installs the > > > missing parts. This is not impossible. (Actually, I have a similar idea > > > on my TODO list, namely to allow the usage of a CVS OCaml version.) > > > > Well, I haven't had a look to GODI internals but IMHO I think it is > > better that GODI exports some API that the Debian Package system could > > use to make known to GODI what he has installed. > > So you would like to virtually add the Debian packages to GODI. In > principle, this is no problem for all findlib-based packages, just add > the Debian directory to the findlib path in findlib.conf. However, this > works only when there is no signature conflict (e.g. Debian's Pervasive > module has the same signature as GODI's). I don't know if this is the > case. Sven should say better what is possible but my idea is that GODI and the Debian package system talk to each other. So there should NOT be two Pervasives modules. If the GODI (Debian) package is installed, the other Ocaml packages should make use of it. If GODI wants to recompile some Debian Package, either (1) delegate the task to the Debian package manager (say there is a new version of the package available or else use dpkg to download and build from source) or (2) consider Debian packages as "on hold" and refuse the GODI operation. That requires a correspondance between package names on the two sides -- thus some dialog with the Debian maintainers -- but it is a good idea not to have different names for a given package anyway... My 2¢, ChriS ------------------- 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