[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Headers and Libraries

Declarations needed to use an underlying library via APRON are collected in the C include files `ap_global0.h' and `ap_global1.h'. They respectively refer to the level 0 and the level 1 of the interface. One can also refer to single APRON modules with their corresponding include files `ap_dimension.h', `ap_lincons0.h', ...

Notice that header files `<stdio.h>', `stdlib.h' and `<stdarg.h>' will be required.

Last, you should also include the header files of the underlying libraries you want to use it via APRON.

All programs using APRON must link against the `libapron' and `libgmp' libraries, and the underlying libraries you want to use it via APRON.

For instance, if some file `test.c' uses the POLKA library via APRON, the compilation command should look like `gcc -IGMP/include -IAPRON/include -IPOLKA/include -L/GMP/lib -L/APRON/lib -LPOLKA/lib -o testg test.c -lpolkag -lapron -lgmp', assuming that the POLKA library is used in its 'g' version (internal number representation is GMP integer.



This document was generated on December, 22 2006 using texi2html