From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: godi-list <godi-list@ocaml-programming.de>
Cc: caml-list@inria.fr
Subject: [Caml-list] GODI news: GODI switches to O'Caml 3.08.1
Date: Tue, 31 Aug 2004 23:00:22 +0200 [thread overview]
Message-ID: <1093986021.31852.15.camel@ice.gerd-stolpmann.de> (raw)
Hi lists,
GODI, the O'Caml source-based distribution, has just switched to O'Caml
3.08.1 (as replacement for O'Caml 3.08.0). Read more below.
GODI is a system that automatically downloads, builds, and installs the
core O'Caml system together with a growing number of libraries and other
add-on software. It runs on Linux, Solaris, FreeBSD, NetBSD, Cygwin,
HP-UX, MacOS X.
If you are new to GODI, read more here:
http://www.ocaml-programming.de/godi/
Details of the switch to O'Caml 3.08.1:
If you have already installed GODI for O'Caml 3.08, you can (and should)
upgrade to O'Caml 3.08.1 by starting godi_console, and by selecting the
menu point "Update the list of available packages". This downloads the
newest build information. Then, go to "Select source packages", press
"u" followed by "o" to upgrade everything, and type "s" to start the
build. This recompiles almost all packages.
If you bootstrap GODI, the new release will be selected automatically.
(The old bootstrap tarball still works.)
GODI no longer supports O'Caml 3.08.0; the old 3.07 version is still
available, though.
Please note that the setting GODI_SECTION=3.08 is still valid although
it selects now O'Caml 3.08.1.
Gerd and the GODI team
--
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de
------------------------------------------------------------
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next reply other threads:[~2004-08-31 21:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-08-31 21:00 Gerd Stolpmann [this message]
2004-09-01 15:23 ` Christophe Raffalli
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=1093986021.31852.15.camel@ice.gerd-stolpmann.de \
--to=info@gerd-stolpmann.de \
--cc=caml-list@inria.fr \
--cc=godi-list@ocaml-programming.de \
/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).