From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 59DA7BC3F for ; Fri, 29 Oct 2004 21:52:51 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9TJqofm018797 for ; Fri, 29 Oct 2004 21:52:50 +0200 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 VAA23111 for ; Fri, 29 Oct 2004 21:52:50 +0200 (MET DST) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.187]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9TJqnW7001643 for ; Fri, 29 Oct 2004 21:52:49 +0200 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1CNcnn-0006Ci-00; Fri, 29 Oct 2004 21:52:47 +0200 Received: from [80.129.100.21] (helo=gate.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1CNcnn-0000CC-00; Fri, 29 Oct 2004 21:52:47 +0200 Received: from ice.gerd-stolpmann.de (ice [192.168.0.13]) by gate.gerd-stolpmann.de (Postfix) with ESMTP id DBB7ECBD8; Fri, 29 Oct 2004 21:52:41 +0200 (CEST) Received: by ice.gerd-stolpmann.de (Postfix, from userid 1000) id 5898EB033; Fri, 29 Oct 2004 21:52:42 +0200 (CEST) Subject: Re: [Caml-list] Packaging OCaml for Linux From: Gerd Stolpmann To: Blair Zajac Cc: Jacques Garrigue , mgushee@havenrock.com, caml-list@inria.fr In-Reply-To: <41828D22.90305@orcaware.com> References: <20041028204047.GB5402@swordfish> <20041029.095157.71083228.garrigue@math.nagoya-u.ac.jp> <41828D22.90305@orcaware.com> Content-Type: text/plain Content-Transfer-Encoding: 7bit Message-Id: <1099079561.25471.85.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.6 Date: Fri, 29 Oct 2004 21:52:42 +0200 X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at concorde with ID 41829F92.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41829F91.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 gerd:01 stolpmann:01 zajac:01 wrote:01 wrote:01 ocaml:01 camlimages:01 symbolic:01 usr:01 stow:01 gerd:01 stolpmann:01 viktoriastr:01 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: On Fre, 2004-10-29 at 20:34, Blair Zajac wrote: > Jacques Garrigue wrote: > > From: Matt Gushee > > > >>I recently decided to try a new Linux distribution--Arch--and > >>quickly became an enthusiastic convert. Now, I've noticed that there is > >>no OCaml package for Arch Linux, and I would like to provide one. I'd > >>like to hear the community's opinion on a couple of questions: > >> > >>1) Which OCaml distribution should be the basis for the Linux package: > >> the basic distribution from INRIA, or GODI? Why do you think so? > > > > > > GODI is probably difficult to make into a package: it is a package > > manager itself. > > Something that would be useful is to have a set of godi* packages in the > system's native package management system that would ensure that the > required packages godi needs to build are available. It could then > probably call godi_build and let godi handle the rest. > > I spent a large amount of time with Fink determining which packages godi > needs to build. For example, to build camlimages and ensure that all > image formats are enabled, required a good amount of time and a large > number of packages. > > Also, these godi* packages could set up a set of symbolic links from a > godi managed directory back to the system's /usr/bin, say using stow. This is really a problem (I also ran into it), but I don't see how it can be solved in a way that is both simple to use and maintainable (unless GODI is the subordinate package manager, as explained in the other mail). The point is that the GODI project does not have enough people to collect and maintain the information which Fink/Whatever packages must be installed for all supported OS. (The implementation of such a feature is no problem.) Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------