Google
 

GODI Users Manual (Gerd Stolpmann)

GODI is a programming environment for the computer language Objective Caml (O'Caml), a result of the research activities of the Cristal project at the INRIA institute in France.

From INRIA you can get the O'Caml compiler and runtime system, but this is usually not enough to develop applications. You also need libraries, and fortunately 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 each of 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.

Features of 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 whole installation).
* 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.

To Download this E-Book Click Here.

Reply

The content of this field is kept private and will not be shown publicly.