3.1 Requirements

The installation procedure is also described in the README file of the CELIA distribution. It requires the following software:

• Project tools: autoconf and automake
• C libraries: GMP and MPFR
• OCaml system,
• Camlidl system,
• Apron library,
• Fixpoint and camllib libraries,
• FRAMA-C platform version (at least) Boron-20100401

To facilitate the installation, CELIA distribution contains packages for:

• Apron library, directory apron-dist
• Fixpoint and camllib libraries, directory interproc-dist