3.4 Executing

The CELIA plug-in uses dynamic libraries included in the distribution. To find these libraries, please set the environment variable LD_LIBRARY_PATH as follows:

> export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$CINV/shapes

> export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$CINV/apron-dist/mlgmpidl/lib

> export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$CINV/apron-dist/apron/lib

The plug-in is called as follows:

frama-c-Celia.opt -celia <input c files>