Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: mgushee@havenrock.com, caml-list@inria.fr
Subject: Re: [Caml-list] Packaging OCaml for Linux
Date: Fri, 29 Oct 2004 21:44:16 +0200	[thread overview]
Message-ID: <1099079054.25474.76.camel@ice.gerd-stolpmann.de> (raw)
In-Reply-To: <20041029.095157.71083228.garrigue@math.nagoya-u.ac.jp>

On Fre, 2004-10-29 at 02:51, 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.

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
------------------------------------------------------------


  parent reply	other threads:[~2004-10-29 19:44 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
2004-10-29 19:44   ` Gerd Stolpmann [this message]
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=1099079054.25474.76.camel@ice.gerd-stolpmann.de \
    --to=info@gerd-stolpmann.de \
    --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