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
GODI available for O'Caml 3.10.1
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-01-20 (16:54)
From: Gerd Stolpmann <info@g...>
Subject: GODI available for O'Caml 3.10.1

the GODI distribution of OCaml is now officially available for OCaml
version 3.10.1. This is the first official release for an OCaml version
of the 3.10 series - due to the camlp4 transition we've waited quite
long before doing so in order to give all developers a chance to port
their code to the new camlp4 style. Unfortunately, this transition isn't
complete yet, so not all packages of the 3.09 release are available for
the 3.10 release (see list below). We encourage skilled users to help

You can get this release by either upgrading an existing GODI
installation, or by doing a fresh install. If upgrading, some special
attention is required, however.

A list of packages is available in the web, see the link on the GODI

Doing a fresh install of OCaml 3.10.1 with GODI

- Download the bootstrap tarball from

  (This link is published on the GODI homepage.)

- Extract the tarball:
  tar xzf godi-bootstrap-20080118.tar.gz

- Do the first stage of the bootstrap:
  cd godi-bootstrap-20080118
  ./bootstrap --prefix <somedir>

  where <somedir> may be an arbitrary, not yet existing directory
  (please _don't_ use /usr or /usr/local)

- Add <somedir>/bin and <somedir>/sbin to PATH
  export PATH

- Do the second stage of the bootstrap:

  For the second stage you need an Internet connection.

- Run godi_console to install libraries and applications!

Links for troubleshooting etc.: see below.

Upgrading an existing GODI installation to OCaml 3.10.1

Edit godi.conf. This file is usually installed as
<prefix>/etc/godi.conf. Set GODI_SECTION to 3.10, e.g.
change the line




Run godi_console, and "Update the list of packages". Then "Select source
packages", and "upgrade all" with 'u'. Finally, type 's' to start the
installation, and 'o' to commit this action.

Note that you'll run into an error if you have some package installed
that is not (yet) available for OCaml 3.10.1. The error is usually
cryptic, but indicates a "Version conflict".

If you select the packages to upgrade manually, make sure you always
select godi-ocaml and godi-ocaml-src. Otherwise, the upgrade won't

Packages not yet available

The following packages are not (yet) available:

godi-col, godi-heredoc, godi-json-static, godi-micmatch_pcre,
godi-pa_arg, godi-camlp4-manual, godi-galax,
godi-ocamlduce, /godi-ocamlducebazar.

The following packages have intentionally been deleted, because we have

godi-equeue, godi-equeue-gtk1, godi-equeue-gtk2, godi-equeue-tcl,
godi-netclient, godi-shell, godi-rpc, godi-wlex.


Documentation is available here:

On the right navigation bar on this page, you can also find links for
the mailing list, the bug tracker, and the subversion repository.

Have a lot of fun,

Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
Phone: +49-6151-153855                  Fax: +49-6151-997714