Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Mehdi Dogguy <mehdi@dogguy.org>
To: Benedikt Meurer <benedikt.meurer@googlemail.com>
Cc: Xavier Leroy <Xavier.Leroy@inria.fr>, caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml maintenance status / community fork (again)
Date: Mon, 12 Dec 2011 13:20:03 +0100	[thread overview]
Message-ID: <4EE5F173.1080607@dogguy.org> (raw)
In-Reply-To: <BE8D4F57-3467-48D9-A0E3-34E8F0F3C7FA@googlemail.com>

On 12/12/2011 11:59 AM, Benedikt Meurer wrote:
> 
> On Dec 12, 2011, at 11:21 , Xavier Leroy wrote:
> 
>> - It complicates the lives of OCaml users, packagers, and
>> 3rd-party library developers: what version should they use?  what
>> will be the basis for the packagers's distribution-specific
>> patches?  what happens if a library is compatible with one version
>> but not the other?  what if the community effort runs out of steam
>> in a few years?
> 
> If we can adopt the eglibc model, then the community thing will be 
> the version shipped by distributions, i.e. the community thing is the
> OCaml for distributions/packagers, not an alternative to the official
> version. That way we do no longer need to maintain specific patches /
> versions for Debian, Red Hat, MacPorts, etc. This ensures that
> versions are compatible across different distributions (because they
> do no longer need to maintain their own set of patches).
> 

No, distributions won't start shipping the community distribution just
because it exists. I cannot speak for Fedora (and others), but
Debian/Ubuntu won't switch to the community distribution that easily. In
fact, it may appear as a seperate source package at some point but won't
replace INRIA's ocaml in Debian.

If you look at Debian's ocaml package, you'll notice that very few
custom patches are applied.

	http://patch-tracker.debian.org/package/ocaml/3.12.1-2

Patches from 1 to 6 are just (let's say) build configurations to cope
with Debian's standards. All the rest has been submitted to upstream,
except patch 11. Some of the submitted patches were even applied in
trunk. I guess the rest will be integrated as well… Most of the patches
(from 7 to 15) are there to avoid build failures on some architectures.

The problem with the community distribution is that:
1) it doesn't exist yet. So, we cannot commit on something more than vague.
2) we don't even know its release schedule, etc…
3) we don't know the kind of changes that will be integrated to the
community distribution
4) as of today, we don't even know if it is a good idea ; if it will be
a success ; etc…

> I think of the community thing as:
> 
> (a) A single place for patches, while waiting for the next official 
> OCaml release.
> 
> (b) A common ground for experimenting with new features. As you 
> already noted, feedback and adoption for experimental stuff hidden 
> within the SVN repository wasn't all that great, so maybe we can 
> change it this way (esp. since it would be coordinated with the 
> distributions/packagers to some degree).
> 

(a) seems very reasonable but (b) is unclear to me. You don't need to
create a community distribution of ocaml to experiment new features
sitting in ocaml's svn. Just checkout the relevant branch, and start
playing. The idea of the community distribution is to have an ocaml with
some patches on top of it (patches for bugs those sitting in mantis for
long time, a few features/experiments that are not present in ocaml's
svn). The idea is also to not diverge too much to keep things compatible.

my 2cents,

-- 
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/

  reply	other threads:[~2011-12-12 12:20 UTC|newest]

Thread overview: 78+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-12-08  9:10 Benedikt Meurer
2011-12-08  9:54 ` Alain Frisch
2011-12-08 10:28   ` Benedikt Meurer
2011-12-08 10:46     ` Alain Frisch
2011-12-08 11:08       ` Benedikt Meurer
2011-12-08 16:42       ` Fabrice Le Fessant
2011-12-08 10:47     ` ivan chollet
2011-12-08 14:07       ` oliver
2011-12-08 11:11     ` Pierre-Alexandre Voye
2011-12-08 18:18       ` Török Edwin
2011-12-09 21:42         ` oliver
2011-12-08 10:16 ` Gabriel Scherer
2011-12-08 11:07 ` Stéphane Glondu
2011-12-09  2:11 ` Jacques Garrigue
2011-12-09 10:37   ` Jérémie Dimino
2011-12-09 11:03     ` Gabriel Scherer
2011-12-09 11:17       ` Stefano Zacchiroli
2011-12-09 11:50         ` Jonathan Protzenko
2011-12-09 12:36           ` Alain Frisch
2011-12-09 23:22         ` Goswin von Brederlow
2011-12-09 22:33       ` oliver
2011-12-09 14:24     ` Benedikt Meurer
2011-12-09 17:00       ` Mehdi Dogguy
2011-12-09 17:36         ` Benedikt Meurer
2011-12-09 17:45           ` Mehdi Dogguy
2011-12-09 23:24             ` Goswin von Brederlow
2011-12-10  9:31               ` Benedikt Meurer
2011-12-10 14:45 ` Xavier Leroy
2011-12-10 15:58   ` Benedikt Meurer
2011-12-12 10:21     ` Xavier Leroy
2011-12-12 10:59       ` Benedikt Meurer
2011-12-12 12:20         ` Mehdi Dogguy [this message]
2011-12-12 15:17           ` Goswin von Brederlow
2011-12-19  4:09           ` Romain Beauxis
2011-12-19 17:35             ` Alain Frisch
2011-12-12 12:57         ` Gerd Stolpmann
2011-12-10 17:06   ` Török Edwin
2011-12-10 18:28   ` Jérémie Dimino
2011-12-10 18:34     ` Wojciech Meyer
2011-12-10 19:10       ` Wojciech Meyer
2011-12-10 20:55         ` Jérémie Dimino
2011-12-10 21:40           ` [Caml-list] Camlp4/p5 type reflection [was: OCaml maintenance status / community fork (again)] Wojciech Meyer
2011-12-10 23:34             ` Gabriel Scherer
2011-12-11  0:47               ` [Caml-list] Camlp4/p5 type reflection [ Wojciech Meyer
2011-12-11 11:19                 ` Gabriel Scherer
2011-12-11 18:14                   ` Jérémie Dimino
2011-12-11  9:04               ` [Caml-list] Camlp4/p5 type reflection [was: OCaml maintenance status / community fork (again)] Stéphane Glondu
2011-12-11  9:36                 ` Török Edwin
2011-12-11 10:29                 ` Gabriel Scherer
2011-12-11 11:23                   ` Gerd Stolpmann
2011-12-11 11:38                     ` Gabriel Scherer
2011-12-11 10:20               ` Fabrice Le Fessant
2011-12-11 10:47                 ` Gabriel Scherer
2011-12-11 13:27               ` Alain Frisch
2011-12-11 13:35                 ` Gabriel Scherer
2011-12-11 13:42                   ` Alain Frisch
2011-12-11 13:36                 ` Arnaud Spiwack
2011-12-11 13:46                 ` Stéphane Glondu
2011-12-10 23:28   ` [Caml-list] OCaml maintenance status / community fork (again) Jesper Louis Andersen
2011-12-11 11:02     ` Gerd Stolpmann
2011-12-13 19:36       ` oliver
2011-12-14 12:13         ` Gerd Stolpmann
2011-12-16 10:03           ` Stéphane Glondu
2011-12-11 13:33   ` Goswin von Brederlow
2011-12-11 13:59     ` [Caml-list] Community distribution [was: OCaml maintenance status / community fork (again)] Benedikt Meurer
2011-12-12 17:48   ` [Caml-list] OCaml maintenance status / community fork (again) Stéphane Glondu
2011-12-13 20:39     ` [Caml-list] New experimental ARM backend [was: OCaml maintenance status / community fork (again)] Benedikt Meurer
2011-12-14  9:18       ` Mark Shinwell
2011-12-14 21:51         ` Benedikt Meurer
2011-12-18 11:57       ` [Caml-list] " Benedikt Meurer
2011-12-18 13:08         ` Benedikt Meurer
2011-12-18 14:50           ` Alexandre Pilkiewicz
2011-12-18 16:42             ` Benedikt Meurer
2011-12-18 17:23           ` Stéphane Glondu
2011-12-21 10:11             ` [Caml-list] " Benedikt Meurer
2011-12-18 13:16         ` [Caml-list] " Benedikt Meurer
2011-12-17 18:36   ` [Caml-list] OCaml maintenance status / community fork (again) Stéphane Glondu
2011-12-18  4:25     ` Till Varoquaux

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=4EE5F173.1080607@dogguy.org \
    --to=mehdi@dogguy.org \
    --cc=Xavier.Leroy@inria.fr \
    --cc=benedikt.meurer@googlemail.com \
    --cc=caml-list@inria.fr \
    /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