Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Packaging OCaml for Linux
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-10-29 (19:52)
From: Gerd Stolpmann <info@g...>
Subject: Re: [Caml-list] Packaging OCaml for Linux
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 Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany