IMITATOR

Download IMITATOR

Standalone binaries for Linux

IMITATOR relies on several libraries, including the Parma Polyhedra Library, that can be cumbersome to install; hence, unless you want to modify IMITATOR or install it in very specific environments or use its distributed capabilities, we strongly recommend you download one of the standalone binaries. If you prefer to install the source, please read the installation instructions below.

Binaries have been compiled using KUbuntu 14.04 LTS, and should be used on all Linux-like systems.

Note that, if you are not equipped with a Linux system, you can install one very easily in VirtualBox.

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. Without these utilities, IMITATOR will work normally, but the graphics output may not work.

Version Version name Build Git hash Release date Sources Binary (32 bits) Binary (64 bits) User Manual
IMITATOR 2.9-working (working version) Butter Incaberry - - - [GitHub] [IMITATOR-user-manual.pdf]
IMITATOR 2.9 (latest stable version) Butter Incaberry 2234 aa3dd87 23.03.2017 [v2.9.tar.gz] Coming soon [imitator.tar.gz] [PDF]
see former versions

Then IMITATOR can be executed by running the required command, for example:

> ./imitator model.imi -mode EFsynth

See the user manual for more information on how to use IMITATOR.

See here for former versions of IMITATOR.

Installing IMITATOR from sources

Why installing IMITATOR from its sources?

We give here the installation instructions for Linux. The installation was performed on Ubuntu and successfully tried with many versions of Ubuntu or KUbuntu, in particular the latest LTS (long-time support) version of Ubuntu, i.e., Ubuntu 14.04.

Quick version

  1. Install the following packages
    > sudo apt-get install g++ m4 ocaml libextlib-ocaml libextlib-ocaml-dev libgmp-dev libgmp-ocaml libgmp-ocaml-dev libppl-dev openmpi-bin openmpi-common libopenmpi-dev oasis graphviz plotutils
    (Installing these libraries might entail additional dependencies.)
  2. Download the PPL source from here
  3. Compile the PPL binding for OCaml
    > cd ppl-1.2
    > ./configure --prefix=/usr
    > cd interfaces/OCaml/
    > make
    > sudo make install
    
  4. Download the IMITATOR source
    > git clone https://github.com/etienneandre/imitator.git
    
  5. Copy the METAS files
    > cd imitator
    > sudo cp METAS/* /usr/lib/ocaml/METAS/
    
  6. Compile IMITATOR
    > sh build.sh
  7. Enjoy!

Step-by-step installation

IMITATOR depends on various libraries, including:

We now give full step-by-step instructions in order to compile IMITATOR from sources.

  1. Install the C++ compiler (version to develop IMITATOR: g++ 4.8.4)
    > sudo apt-get install g++
  2. Install m4 (version to develop IMITATOR: 1.4.17)
    > sudo apt-get install m4
  3. Install OCaml (version to develop IMITATOR: 4.01.0)
    > sudo apt-get install ocaml
  4. Install OCaml extlib
    > sudo apt-get install libextlib-ocaml libextlib-ocaml-dev
  5. Install the OCaml package for MLGMP
    > sudo apt-get install libgmp-dev libgmp-ocaml libgmp-ocaml-dev
  6. Install the oasis package (that allows to build OCaml applications easily)
    > sudo apt-get install oasis
  7. [Only if you want to use the distributed IMITATOR] Install the MPI packages
    > sudo apt-get install openmpi-bin openmpi-common libopenmpi-dev
  8. [Only if you want to use the distributed IMITATOR] Install the OCamlMPI bindings
    Unfortunately, the standard bindings have some issues. Fortunately, Camille Coti published a corrected version.
    > git clone https://github.com/coti/ocamlmpi.git
    > cd ocamlmpi
    
    Download Makefile to the ocamlmpi directory
    > make
    
  9. Install the PPL package (version to develop IMITATOR: 1.2)
    > sudo apt-get install libppl-dev
    But since this package does not come with the OCaml bindings, we will need to compile them manually at the next step.
  10. Download the PPL source from here, and unzip it
  11. Compile the PPL binding for OCaml
    > cd ppl-1.2
    > ./configure --prefix=/usr
    > cd interfaces/OCaml/
    > make
    > sudo make install
    
  12. Download the IMITATOR source, either manually (by downloading the archive given on top of this page) or using the latest version on GitHub, in which case run the following command:
    > apt-get install git
    > git clone https://github.com/etienneandre/imitator.git
    
  13. Copy the METAS files
    > cd imitator
    > sudo cp METAS/* /usr/lib/ocaml/METAS/
    
  14. Install the packages for the graphical outputs
    > sudo apt-get install graphviz plotutils
  15. Compile IMITATOR
    > sh build.sh
  16. [Only if you want to use the distributed IMITATOR] Compile IMITATOR in distributed mode
    > sh compile-distr.sh
  17. Enjoy!

Using IMITATOR

Read the user manual for more information.

Older versions of IMITATOR

See the former versions for former binaries and sources.

Contact

In case you meet any problem while installing or using IMITATOR, please contact us.