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)|
In order to compile HYMITATOR from source, you need to install the following libraries and tools. Installing these libraries might entail additional dependencies.
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.
You will certainly need a c++ compiler (such as g++), m4, etc.
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
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
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
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).
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:
Download the case studies on the case studies page.
In case you meet any problem, please contact us.