Recommanded installation procedure for RangeLab:

0. System requirements:

     - You need Ocaml (tested with version 3.11.2).
     - You need to install mlgmp. See <http://www.gnu.org/software/gmp/>.
       Mlgmp itself requires MPFR and GMP version 4.1 or later.
   
1. Extract the files from the archive.

	- gzip -d rangelab.tar.gz
	- tar xf rangelab.tar
	
2. Go to the source directory

	- cd rangelab/src
	
3. Set the configuration variables at the beginning of the Makefile:

	- OCAMLC=ocamlc
	- OCAMLOPT=ocamlopt
	- OCAMLDEP=ocamldep
	- OCAMLLEX=ocamllex
	- OCAMLYACC=ocamlyacc

4. Add the directory containing the file gmp.cmxa (of the mlgmp library) to
   the INCLUDES variable:

	- INCLUDES=-I /.../mlgmp 
	
5. In the rangelab directory, type:

     make
 
This generates the rangelab executable file in the source directory.