[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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.