From: Damien Doligez <damien.doligez@inria.fr>
To: cygwin-apps@cygwin.com
Subject: Re: [RFU] ocaml-4.00.1-1
Date: Tue, 11 Jun 2013 15:37:00 -0000 [thread overview]
Message-ID: <45D0C28C-DE97-4128-B54F-9D632D4B13A7@inria.fr> (raw)
In-Reply-To: <20130610082700.GA28431@calimero.vinschen.de>
Hi Corinna,
> Given what Yaakov said, wouldn't it make sense to provide the former
> ocaml libs and start using a versioned runtime lib approach?
I'm not sure I understand exactly what you mean, but providing several
versions of the libraries is not going to work because they are strongly
tied to the compiler version. If we want different versions of the
libraries to coexist, I think the only simple solution is to use a new
package name for each release of OCaml. That would probably force
every library to follow the same pattern, leading to a confusing
proliferation of packages.
The strong typing of OCaml gives strong guarantees to the users and
imposes strong constraints on linking. Stronger than can be handled
by "normal" package managers. This problem has been studied and solved
for the Debian package manager [1] but the solution is heavy-weight.
Nowadays, the preferred solution among OCaml developers is to use
OPAM, a dedicated package manager for OCaml programs and libraries.
-- Damien
[1] http://jfla.inria.fr/2010/actes/PDF/dogguy.pdf
next prev parent reply other threads:[~2013-06-11 15:37 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-12-15 17:23 RFU: ocaml-3.12.1-1 Damien Doligez
2011-12-15 19:21 ` Corinna Vinschen
2011-12-15 19:26 ` Corinna Vinschen
2011-12-15 22:24 ` Damien Doligez
2011-12-16 10:01 ` Corinna Vinschen
2011-12-19 16:05 ` Corinna Vinschen
2011-12-20 22:21 ` Damien Doligez
2011-12-21 3:21 ` Yaakov (Cygwin/X)
2011-12-21 10:38 ` Damien Doligez
2011-12-21 15:26 ` RFU: ocaml-3.12.1-2 Damien Doligez
2011-12-21 15:50 ` Corinna Vinschen
2013-06-07 12:31 ` [RFU] ocaml-4.00.1-1 Damien Doligez
2013-06-07 14:19 ` Corinna Vinschen
2013-06-09 14:42 ` Damien Doligez
2013-06-10 8:27 ` Corinna Vinschen
2013-06-11 15:37 ` Damien Doligez [this message]
2013-06-13 18:31 ` Yaakov (Cygwin/X)
2013-06-14 0:42 ` Florent Monnier
2013-06-18 23:09 ` Yaakov (Cygwin/X)
2013-06-07 18:01 ` Yaakov (Cygwin/X)
2013-10-25 9:25 ` new version of ocaml package (4.01.0-1) Damien Doligez
2013-10-25 17:39 ` Yaakov (Cygwin/X)
2013-10-28 20:17 ` Yaakov (Cygwin/X)
2013-10-29 9:14 ` Corinna Vinschen
2013-10-29 17:30 ` Yaakov (Cygwin/X)
2013-10-29 17:54 ` Corinna Vinschen
2013-10-31 2:13 ` Yaakov (Cygwin/X)
2013-11-01 10:28 ` Damien Doligez
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=45D0C28C-DE97-4128-B54F-9D632D4B13A7@inria.fr \
--to=damien.doligez@inria.fr \
--cc=cygwin-apps@cygwin.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 read-only IMAP folder(s) and NNTP newsgroup(s).