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 VAA32687; Tue, 13 Apr 2004 21:30:57 +0200 (MET DST) 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 VAA00732 for ; Tue, 13 Apr 2004 21:30:55 +0200 (MET DST) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.185]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i3DJVtjq009766 for ; Tue, 13 Apr 2004 21:31:55 +0200 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1BDTcS-0004zz-00; Tue, 13 Apr 2004 21:30:52 +0200 Received: from [80.129.103.33] (helo=gate.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1BDTcS-00010L-00; Tue, 13 Apr 2004 21:30:52 +0200 Received: from ice.gerd-stolpmann.de (ice.gerd-stolpmann.de [192.168.0.13]) by gate.gerd-stolpmann.de (Postfix) with ESMTP id D4FB457C7; Tue, 13 Apr 2004 21:30:51 +0200 (CEST) Received: by ice.gerd-stolpmann.de (Postfix, from userid 1000) id BA2A6B032; Tue, 13 Apr 2004 21:30:50 +0200 (CEST) Subject: Re: [Caml-list] Re: GODI (was: Dynamically evaluating OCaml code) From: Gerd Stolpmann To: Christophe TROESTLER Cc: jgoerzen@complete.org, trevor.andrade@utoronto.ca, caml-list@inria.fr In-Reply-To: <20040413.200746.94354715.Christophe.Troestler@umh.ac.be> References: <1081855023.282.36.camel@ares> <20040413142416.GC22749@excelhustler.com> <1081867999.282.65.camel@ares> <20040413.200746.94354715.Christophe.Troestler@umh.ac.be> Content-Type: text/plain Content-Transfer-Encoding: 7bit Message-Id: <1081884649.24590.122.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.5 Date: Tue, 13 Apr 2004 21:30:50 +0200 X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 dynamically:01 gerd:01 stolpmann:01 2004:99 troestler:01 gerd:01 stolpmann:01 internals:01 api:01 findlib:01 findlib:01 pervasive:01 policies:99 usr:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 280 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. > Also, in order to be > compliant with Debian policies GODI packages should be installed into > /usr/local/lib/ocaml/ (Debian developpers correct me on this). You can freely select where you install GODI. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------ ------------------- 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