Installation

IBAL should be easy to install.

1. Make sure Objective Caml is installed. You can download it from caml.inria.fr. IBAL should run wherever OCaml can be installed, which is a lot of places.

2. Decide whether you want to use the OCaml byte code or native code compiler. The native code compiler is considerably faster, but not as convenient for debugging. It is also not available on all architectures. Edit the Makefile to choose the appropriate option.

3. Edit the definition of ibal_dir in global.ml to point to the main directory of the IBAL installation on your machine.

4. Enter make, or something equivalent for your machine.

5. Enter ibal -t > log to make sure everything is set up properly and run a series of regression tests. This should take anywhere from five seconds to a minute, depending on your choice of compiler and on your machine. Enter diff log Tests/log.save. If there are no differences, you're all set.

   If you have bug reports, suggestions, comments, or anything else you want to share, please send them to ibal@eecs.harvard.edu.