Recommanded installation procedure for RangeLab: 0. System requirements: - You need Ocaml (tested with version 3.11.2). - You need to install mlgmp. See . 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.