GODI - The source code Objective Caml distribution
GODI provides an advanced programming environment for the
Objective Caml (O'Caml) language.
From INRIA (who created O'Caml) you can get the O'Caml compiler and
runtime system, but this is usually not enough to develop
applications. You also need libraries, and there are many developers
all over the world providing them; you can go and pick them up. But it
is a lot of work to build and install them.
GODI is a system that simplifies this task: It is a framework that
automatically builds the O'Caml core system, and additionally installs
a growing number of pre-packaged libraries. For a number of reasons
GODI is a source-code based system, and there are no precompiled
libraries, but it makes it very simple for everybody to compile them.
GODI is available for O'Caml-3.09 and 3.10. It runs on Linux, Solaris,
FreeBSD, NetBSD, Windows (Cygwin and MinGW), HP-UX, MacOS X.
Advantages of using GODI:
- Automatic installation of new libraries: GODI knows where a library
can be downloaded, which prerequisites are needed to build it, and which
commands must be invoked to compile and install it
- Complete package management of the installation: A library is
installed as a package (a managed set of files), so it is possible to
remove it later without any hassle.
- GODI implements the necessary logic to upgrade installations: Because
of the way O'Caml works, all dependent libraries must be recompiled if
a library is upgraded to a newer version. GODI automates this process.
- Integration with the operating system: If additional C libraries
are needed to build an O'Caml library, and the operating system includes
them, they will usually be automatically found and used. Non-standard
locations can be configured (there is only one configuration file for the
- GODI has a menu-based user interface that makes it simple to use
even for beginners.
- GODI tries to standardize the directory layout of library installations,
so it becomes simpler to find files of interest.
How to install GODI
There are usually five steps:
- Download the GODI RocketBoost tarball
and unpack it with tar.
- Now follow the instructions of the
README file in the tarball (here the compact
version): Start the first
stage of the bootstrap process
./bootstrap --prefix /prefix/path
This will usually install the latest officially supported O'Caml version.
You can select a different version with the --section parameter, e.g.
./bootstrap --prefix /prefix/path --section 3.09
For Windows, please read the special instructions in README!
- Extend PATH:
- Start the second stage of the bootstrap process
and select further libraries for installation. godi_console is the
menu-based user interface.
After the installation
Of course, you can use godi_console at any time to add or remove
I guess that experienced people now know how to go on, and how to
use the installation. For beginners, here are some hot tips:
There is a mailing list email@example.com. Everybody
can post to the list. You can subscribe to the list by visiting
of this mailing list are available at
The mailing list should be used by both users having questions about
GODI, and by developers who want to exchange how to create packages
and how to improve the GODI code base.
Package developers wanted!
GODI is being actively developed. Of course, you can participate
in this process; I am very glad about everybody who wants to help
me. Read more on the GODI
development page, and on the
development server home page (all pages under construction).
Especially, people are wanted that create new packages for libraries.