                             MINIMALIST OCAML

This is a cut-down release of OCaml 3.12.1 produced by Proof Technologies Ltd,
provided as a minimalist alternative to the full INRIA OCaml 3.12.1 release.

The following features of OCaml 3.12.1 are not supported:

 - Native compilation
 - camlp4
 - the debugger
 - ocamldoc

The following minor changes have been made to the functionality:

 - The "Objective Caml version 3.12.1" startup message is suppressed
 - Error messages are preceded by "[OCAML]"

For detailed descriptions of the differences, refer to MINI_OCAML_CHANGES.


INSTALLATION

Installation follows the full OCaml 3.12.1 classic Make-style process:

1. To configure a default installation that puts the files created by OCaml's
  installation (including its executables) in standard 'bin', 'lib' and 'man'
  directories (typically owned by root user), enter the following:

     > ./configure

  Alternatively, to specify a particular base directory for these directories,
  enter the following (and ensure that the 'bin' directory is in your user
  execution path):

     > ./configure --prefix <base-directory>

  These directories can be shared with other programs (e.g. in '/usr/local'),
  or will be created if they don't already exist.

2. Enter the following to perform the build:

     > make world
     > make install
     > make clean

  Note that the "make install" command needs to be performed by a user who has
  write permission for the 'bin', 'lib' and 'man' directories chosen in step 1.

3. Ensure that the 'bin' folder used for the installation is in your user
  execution path.
