Ocaml.hpp File Reference

Documentation on how to build Ocaml. More...

Go to the source code of this file.

Detailed Description

Documentation on how to build Ocaml.

Installing Ocaml

On the purpose of Ocaml

XXX programming language in which Coq is implemented

What the installation yields

3 directories:

  • with binaries (only needed here)
  • with link-libraries
  • with man-pages.

Current state of installation

  • Recommended version: 3.09.3
  • The three provided installation directories:
    1. binaries in /home/csoliver/OKplatform/ExternalSources/Coq/Ocaml/3.09.3/bin
    2. link-libraries in /home/csoliver/OKplatform/ExternalSources/Coq/Ocaml/3.09.3/lib
    3. man-pages in /home/csoliver/OKplatform/ExternalSources/Coq/Ocaml/3.09.3/man.
  • Checking the installation:
    1. ocaml-program call = /home/csoliver/OKplatform/ExternalSources/Coq/Ocaml/3.09.3/bin/ocaml
    2. ready: NO
      • location =
      • version =

How to install

Only local installation currently. Ocaml comes with Linux distributions, so you could simply install them with your distribution tool and reset the directories for the binaries (this is all what is needed for Coq).

When installing Ocaml by our build system, then libraries "tk-devel, tcl-devel" need to be installed (these are their names for the Suse Linux distribution).

Make targets

ocaml Build the recommended version of ocaml.
ocaml-x.y.z Build the version x.y.z of ocaml (for example ocaml-3.09.3).

Definition in file Ocaml.hpp.