Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] GODI news: GODI for O'Caml 3.08
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-07-20 (14:28)
From: Gerd Stolpmann <info@g...>
Subject: [Caml-list] GODI news: GODI for O'Caml 3.08
Hi list,

GODI, the O'Caml source-based distribution, is now available for O'Caml
3.08. GODI 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.

The previous O'Caml version, 3.07, is still supported, but it is
expected that the software packages are not as frequently updated as for
the new version, 3.08.

If you are new to GODI, read more here:

This page explains GODI and how to install it from scratch. Note that
you should use the newest GODI bootstrap tarball

If have already installed GODI for O'Caml 3.07, it is possible to
upgrade it to 3.08:

- Save the packages in <prefix>/build/packages/All. You can
  recover your old installation with them (by godi_add'ing them),
  in the case something fails.
- Edit <prefix>/etc/godi.conf, and set GODI_SECTION=3.08
- Start godi_console, select "Update the list of available packages"
- After that, go to the menu "Select source packages", and select
  _only_ godi-core-mk for rebuild (letter "b" in the package view).
- Perform this single build ("s"tart installation)
- After that, go back to "Select source packages", and select
  godi-ocaml and godi-ocaml-src for build. Most packages are
  dependent on these, so many further packages will also be rebuilt.
- Perform this mass build ("s"tart installation)

Important note of users of Linux kernel 2.6: Sorry, you cannot upgrade.
Please bootstrap again. The reason is a user-visible change of the
"readdir" system call.

Gerd and the GODI team
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: