caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Blair Zajac <blair@orcaware.com>
Cc: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>,
	mgushee@havenrock.com, caml-list@inria.fr
Subject: Re: [Caml-list] Packaging OCaml for Linux
Date: Fri, 29 Oct 2004 21:52:42 +0200	[thread overview]
Message-ID: <1099079561.25471.85.camel@ice.gerd-stolpmann.de> (raw)
In-Reply-To: <41828D22.90305@orcaware.com>

On Fre, 2004-10-29 at 20:34, Blair Zajac wrote:
> Jacques Garrigue wrote:
> > From: Matt Gushee <mgushee@havenrock.com>
> > 
> >>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
------------------------------------------------------------


  reply	other threads:[~2004-10-29 19:52 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-10-28 20:40 Matt Gushee
2004-10-28 21:12 ` [Caml-list] " Olivier Andrieu
2004-10-29  0:51 ` Jacques Garrigue
2004-10-29 18:34   ` Blair Zajac
2004-10-29 19:52     ` Gerd Stolpmann [this message]
2004-10-29 19:44   ` Gerd Stolpmann
2004-10-31 12:00     ` Jacques Garrigue
2004-10-29  2:31 ` skaller

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1099079561.25471.85.camel@ice.gerd-stolpmann.de \
    --to=info@gerd-stolpmann.de \
    --cc=blair@orcaware.com \
    --cc=caml-list@inria.fr \
    --cc=garrigue@math.nagoya-u.ac.jp \
    --cc=mgushee@havenrock.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).