pauleve/pint

Static analyzer for dynamics of Automata Networks

Pint - Static analyzer for dynamics of Automata Networks

Distributed under CeCCIL licence.

See https://loicpauleve.name/pint/doc/index.html#Installation for installation instructions from binary packages and docker image.

Installation from sources

Runtime requirements

• clingo is required by pint-reach and ph2thomas.
• mole is required by pint-mole.

You can use the script pint_install_deps to install runtime dependencies.

Compilation requirements

• OCaml >= 4.02
• OCaml FindLib
• CamlIDL

• Extlib

• Facile
• Zarith
• Python
• (optional) libRmath from R - debian/ubuntu: r-mathlib

Notes on libRmath requirement

Pint requires the libRmath standalone library for the stochastic simulation and parameters inference from time interval specifications. You can disable this functionnality with the following command:

$ python setup.py --disable-R

Most distributions provide a libRmath package (or include the libRmath.so library in the R package).

If you compile R from sources, after the configure step:

(from R source directory)
$ cd src/nmath/standalone
$ make shared
$ sudo make install

Compilation

In the root directory of sources:

$ python setup.py --enable-R

or

$ python setup.py --disable-R

then

$ make

If you installed libRmath in a custom location, use CFLAGS and LDFLAGS environment variables to indicate it:

LDFLAGS=-L/usr/local/lib CFLAGS=-I/usr/local/include make

Installation

Add <Pint source directory>/bin to your $PATH environment variable.