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 DAA20615; Wed, 14 Apr 2004 03:04:20 +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 DAA21074 for ; Wed, 14 Apr 2004 03:04:17 +0200 (MET DST) Received: from glockenspiel.complete.org (glockenspiel.complete.org [69.10.152.57]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i3E15Gjq013202 for ; Wed, 14 Apr 2004 03:05:17 +0200 Received: from localhost (localhost [127.0.0.1]) by glockenspiel.complete.org (Postfix) with ESMTP id D59A3161; Tue, 13 Apr 2004 20:04:19 -0500 (CDT) Received: from glockenspiel.complete.org ([127.0.0.1]) by localhost (glockenspiel [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id 10842-07; Tue, 13 Apr 2004 20:04:16 -0500 (CDT) Received: from erwin.complete.org (unknown [12.149.180.20]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (Client CN "erwin.complete.org", Issuer "John Goerzen -- Root CA" (verified OK)) by glockenspiel.complete.org (Postfix) with ESMTP id 2C2F93E; Tue, 13 Apr 2004 20:04:16 -0500 (CDT) Received: from katherina.lan.complete.org (katherina.lan.complete.org [10.200.0.4]) by erwin.complete.org (Postfix) with ESMTP id 8387432D; Tue, 13 Apr 2004 20:04:06 -0500 (CDT) Received: by katherina.lan.complete.org (Postfix, from userid 1000) id 02F5B38004; Tue, 13 Apr 2004 20:04:22 -0500 (CDT) Date: Tue, 13 Apr 2004 20:04:22 -0500 From: John Goerzen To: Christophe TROESTLER Cc: info@gerd-stolpmann.de, trevor.andrade@utoronto.ca, caml-list@inria.fr Subject: Re: [Caml-list] Re: GODI Message-ID: <20040414010422.GA919@complete.org> References: <1081867999.282.65.camel@ares> <20040413.200746.94354715.Christophe.Troestler@umh.ac.be> <1081884649.24590.122.camel@ice.gerd-stolpmann.de> <20040413.215709.133591297.Christophe.Troestler@umh.ac.be> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040413.215709.133591297.Christophe.Troestler@umh.ac.be> User-Agent: Mutt/1.5.5.1+cvs20040105i X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at complete.org 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 2004:99 troestler:01 sven:01 pervasives:01 dpkg:01 dpkg:01 usr:01 christophe:01 ocaml:01 ocaml:01 recompile:01 0200,:01 modules:02 complex:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 296 On Tue, Apr 13, 2004 at 09:57:09PM +0200, Christophe TROESTLER wrote: > 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. I think the recompilation option is a perilous one; there are many different packaging systems (dpkg, rpm, AIX, solaris, etc.) and supporting them all, correctly, would be complex. It may be just as easy to put it somewhere in /usr/local that occurs first on the OCaml search path. -- John ------------------- 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