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 06F34BC3F for ; Fri, 29 Oct 2004 21:44:26 +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 i9TJiPpo017285 for ; Fri, 29 Oct 2004 21:44:25 +0200 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 VAA23150 for ; Fri, 29 Oct 2004 21:44:25 +0200 (MET DST) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.171]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9TJiOCd017282 for ; Fri, 29 Oct 2004 21:44:24 +0200 Received: from [212.227.126.160] (helo=mrelayng.kundenserver.de) by moutng.kundenserver.de with esmtp (Exim 3.35 #1) id 1CNcfe-00049U-00; Fri, 29 Oct 2004 21:44:22 +0200 Received: from [80.129.100.21] (helo=gate.gerd-stolpmann.de) by mrelayng.kundenserver.de with asmtp (Exim 3.35 #1) id 1CNcfe-0007sr-00; Fri, 29 Oct 2004 21:44:22 +0200 Received: from ice.gerd-stolpmann.de (ice [192.168.0.13]) by gate.gerd-stolpmann.de (Postfix) with ESMTP id 5B28FCBD8; Fri, 29 Oct 2004 21:44:17 +0200 (CEST) Received: by ice.gerd-stolpmann.de (Postfix, from userid 1000) id 0F77AB033; Fri, 29 Oct 2004 21:44:16 +0200 (CEST) Subject: Re: [Caml-list] Packaging OCaml for Linux From: Gerd Stolpmann To: Jacques Garrigue Cc: mgushee@havenrock.com, caml-list@inria.fr In-Reply-To: <20041029.095157.71083228.garrigue@math.nagoya-u.ac.jp> References: <20041028204047.GB5402@swordfish> <20041029.095157.71083228.garrigue@math.nagoya-u.ac.jp> Content-Type: text/plain Content-Transfer-Encoding: 7bit Message-Id: <1099079054.25474.76.camel@ice.gerd-stolpmann.de> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.6 Date: Fri, 29 Oct 2004 21:44:16 +0200 X-Provags-ID: kundenserver.de abuse@kundenserver.de auth:a6865a839c0178d9aa0ce41878507ea2 X-Miltered: at concorde with ID 41829D99.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 41829D98.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 gerd:01 stolpmann:01 wrote:01 ocaml:01 avoided:01 developer's:01 o'caml:01 labltk:01 labltk:01 o'caml: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 02:51, 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. I think this is straight-forward. After all, GODI just installs files, and the files can be repackaged with the package manager of the Linux distribution. Of course, the user must not call the GODI build system manually after that (i.e. godi_console must no longer be used). When the Linux package manager is responsible for managing the packages, it must be avoided that it interfers with the GODI build system in an uncontrolled way, because GODI would replace files, and the Linux package manager is not informed. (And doing so is really hard, I think this is the difficulty Jacques Garrigue means.) But in general, stacking of package managers should work as long as there is a clear hierarchy, and one manager calls the other as subordinate tool (and no user takes the freedom to call the subordinate manager directly, breaking the hierarchy). > On the other hand, if you provide GODI, then you don't need to package > anything else. That's the goal: not having to repackage all ocaml > libraries for every platform. This is true from a developer's point of view. But if you wanted to create applications for end-users it would be really nice if O'Caml is integrated into the native packaging system of the distribution. > > 2) What about LablTk? Should it be included, excluded? Should I break it > > into a separate package, as is often done with Python/Tkinter? Is > > that even possible with OCaml? > > You should be aware that ocamlbrowser (which is included in the > distribution) depends on LablTk. So if you remove labltk from the > package, default users will not get it. On the other hand, there are users who need not ocamlbrowser, because they install O'Caml only because their favourite application happens to be written in O'Caml. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------