3.3 Compiling

The distribution file install.sh does the installation procedure.

During the installation, the following steps are done:

• to install FIXPOINT

  > make -C interproc-dist all

  > make -C interproc-dist install

• to install Apron

  > make -C apron-dist all

  > make -C apron-dist install

• to compile CINV abstract domains

  > make -C shapes all

  > make -C shapes ml

• to compile CINV engine

  make src/clim.cma

• to compile CELIA plug-in

  make -C frama-c-plugin frama-c-Celia.byte

The binary of the plug-in, frama-c-Celia.byte, is available in the frama-c-plugin directory.