Download HyMITATOR

Binaries and Sources

Due to the difficulty of installing some libraries needed by HYMITATOR, we recommend you download one of the binaries. If you prefer to install the source, please read the installation instructions below.

Binaries are completely standalone (no depency), and have been compiled using Debian 6.04 (for the 32 bits version) and Ubuntu 11.10 (for the 64 bits version); therefore, they should be used on most Unix-like systems.

In case you want to use the graphical output facilities, don’t forget to install dot (from the Graphviz package) and graph (from the plotutils package). This is true even if you download the standalone binaries.

HYMITATOR is available under the GNU General Public License.

Version	Sources	Binary (32 bits)	Binary (64 bits)
HYMITATOR 1.0	[hymitator.tar.gz] (105 KB)	[hymitator-bin32.tar.gz] (12.6 MB)	[hymitator-bin64.tar.gz] (15.4 MB)

Installing HYMITATOR from sources

In order to compile HYMITATOR from source, you need to install the following libraries and tools. Installing these libraries might entail additional dependencies.

A C++ compiler (package "g++" in Ubuntu)
m4 (package "m4" in Ubuntu)
OCaml
The OCaml ExtLib library (Extended Standard Library for Objective Caml)
The GNU Multiprecision Library (GMP)
The GMP OCaml interface
The Parma Polyhedra Library (PPL), compiled including the OCaml interface
dot, a module of graphviz, required for the graphical output, but not necessary to compile and run HYMITATOR

Before compiling HYMITATOR from the source code, make sure that all dependencies are met. In the following, we give instructions on how to install the necessary tools and libraries. All these instructions can also be found in the INSTALL.txt file inside the HYMITATOR source archive.

We give for each package the version number used for developing HYMITATOR.

Standard packages

You will certainly need a c++ compiler (such as g++), m4, etc.

OCaml 3.12.1

The Ocaml runtime environment and libraries are usually available as preconfigured packages.

Otherwise, get the sources here. Proceed as follows to compile:

> ./configure --prefix=/usr
> make world
> make bootstrap
> make opt
> make opt.opt
> sudo make install

OCaml Extlib 1.5.2

Install OCaml Extlib (Extended libraries) using your favorite package manager.

Alternatively, you can download Extlib here. Create a build directory and start the installation:

> mkdir build
> ocaml install.ml

Then, select "both" and the directory "build". After installation, copy the files to your local OCaml directory:

> sudo mkdir /usr/lib/ocaml/extlib
> sudo cp build/* /usr/lib/ocaml/extlib

GNU Multiprecision Library (GMP) 5.0.2

Install the GMP library and header with your favorite package manager; don’t forget to add the OCaml binding (this may include at least libgmp-devel, libgmp-ocaml and libgmp-ocaml-dev).

If everything is fine, skip to the installation of PPL. Otherwise, you will need to compile manually as follows.

First get the sources here and install as follows:

> export CPPFLAGS=-fexceptions
> ./configure --enable-cxx --prefix=/usr
> make
> make check
> sudo make install

Then, install MPFR (3.1.0): get the sources here and install as follows:

> ./configure --prefix=/usr --with-gmp-lib=/usr/lib --with-gmp-include=/usr/include
> make
> make check
> sudo make install

Then install the OCaml interface for the GMP library, get the sources here. Then, open the Makefile in an editor and set the following variables:

GMP_LIBDIR=/usr/lib
GMP_INCLUDES= -I=/usr/include

Then you should be able to compile:

> make
> sudo make install

Parma Polyhedra Library (PPL) 0.12.1

Usually, the OCaml interface of PPL is not part of available packages. Thus, get the sources and compile them:

> ./configure --prefix=/usr  
> make
> sudo make install

If all dependencies have been correctly installed (which will be detected by PPL very soon), the installation of PPL is straightforward. However, note that the compiling phase (make) can be very long (up to an hour).

Installing HYMITATOR

In order to compile the sources of HYMITATOR, some path variables may need to be set. You can do this by either editing the Makefile, or by using environment variables within your shell. In the latter case, use the following code to set the respective paths:

> export EXTLIB_PATH=/path/to/ocaml/extlib
> export OCAML_PPL_PATH=/path/to/ppl/ocaml/interface
> export OCAML_GMP_PATH=/path/to/gmp/ocaml/interface
> export CLIB_PATH=/path/to/native/libs

The native libraries needed to compile and link HYMITATOR include libgmp.a, libgmpxx.a, libmlgmp.a, libpwl.a and libppl.a. These should be accessible via the CLIB_PATH. The OCaml interface for the GMP library comprises the files gmp.mli, gmp.cmi and gmp.cma. The Ocaml interface of PPL includes ppl_ocaml.mli, ppl_ocaml.cmi and ppl_ocaml.cma. If all these requirements are met, then HYMITATOR can be compiled and linked by typing:

> make

Case studies

Download the case studies on the case studies page.

Contact

In case you meet any problem, please contact us.