From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Berke Durak <berke.durak@exalead.com>
Cc: "Bünzli Daniel" <daniel.buenzli@erratique.ch>,
"caml-list caml-list" <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] On module distribution
Date: Tue, 15 Jan 2008 15:24:22 +0100 [thread overview]
Message-ID: <1200407062.2564.25.camel@flake.lan.gerd-stolpmann.de> (raw)
In-Reply-To: <478CB73A.2030706@exalead.com>
> As Ocaml binaries are brittle, a solution for compiling from source such
> as Godi is welcome.
>
> However Godi needs to be kept up-to-date with respect to the Ocaml
> distribution... it is currently only available for 3.09!
Sorry, but this is not true. You can use Godi with Ocaml 3.10 by passing
"-section 3.10" to the bootstrap script.
It is right is that Godi for Ocaml 3.10 is not yet publicly announced.
The reason is that a few libraries are not kept up-to-date. In
particular, there are still libraries using camlp4 that are not
available for 3.10. So we simply cannot recommend blindly upgrading to
3.10 yet.
It is unclear how we go on. Maybe we drop some libraries.
Gerd
--
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
------------------------------------------------------------
next prev parent reply other threads:[~2008-01-15 14:24 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-15 11:20 Bünzli Daniel
2008-01-15 13:38 ` [Caml-list] " Berke Durak
2008-01-15 14:24 ` Gerd Stolpmann [this message]
2008-01-15 15:07 ` Sylvain Le Gall
2008-01-15 20:41 ` [Caml-list] " Bünzli Daniel
2008-01-15 20:56 ` Vlad Skvortsov
2008-01-16 10:19 ` Maxence Guesdon
2008-01-15 20:56 ` Will Farr
2008-01-15 21:27 ` Sylvain Le Gall
[not found] ` <b256a4c50801151610o54b86a6dv1e3b54616b6bd9f0@mail.gmail.com>
2008-01-16 0:11 ` Fwd: [Caml-list] " Jonathan Bryant
2008-01-16 5:26 ` Jonathan Bryant
2008-01-15 18:46 ` [Caml-list] " David Thomas
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=1200407062.2564.25.camel@flake.lan.gerd-stolpmann.de \
--to=info@gerd-stolpmann.de \
--cc=berke.durak@exalead.com \
--cc=caml-list@yquem.inria.fr \
--cc=daniel.buenzli@erratique.ch \
/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