Dependencies for running Cosmos

The required dependencies to run Cosmos are:

• A C++ compiler (g++ or clang++)
• The developpement version of the expat library (libexpat-dev or libexpat1-dev).
• The developpement version of the boost library (libboost-dev).
• Bison and Flex parser and lexer generator.

Optionally

• Gnuplot for plotting graphs of the results.

Compiling Cosmos

To compile Cosmos you need these additionnal dependencies:

• The developpement version of zip library (libz-dev).
• The OCaml Compiler version ≥ 4.08.1 with libraries camlzip xml-light ocamlfind camlp4 ocamlbuild. This can easly be installed with opam using commandline:
  opam init --comp 4.08.1; opam update; eval `opam config env`; opam install camlzip xml-light ocamlfind camlp4 ocamlbuild

Note that on Mac OS all the dependencies can be installed with brew after installing XCode. On debian you can install all the dependencies with
apt-get install -y g++ gnuplot libexpat-dev libboost-dev libz-dev bison flex

Then in a shell write down:

./configure && make && make install

If you want to choose where Cosmos is installed, add the option --prefix target_name

You can now start to use Cosmos, for example by following the tutorial !