[ < ] | [ > ] | [ << ] | [ 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', ... Header files `<stdio.h>', `stdlib.h' and `<stdarg.h>' will be required.
Then, you should also include the header files of the underlying libraries you want to use it via APRON (for instance, `box.h', `pk.h', `ap_ppl.h').
All programs using APRON must link against the `libapron', `libmpfr' and `libgmp' libraries, and the underlying libraries you want to use it via APRON:
The `libpolkaMPQ.a' library is of course needed,
`libapron.a' contains all the code common to all APRON library
(manipulation of expressions, environments, ...), as well as ITV
functions (quasi)linearisation facilities of APRON,...), last the
libraries libmpfr.a
and libgmp.a
are required both by
NEWPOLKA and APRON .
Notice that the PPL library (`libppl.a') is a C++ library, you need to use `g++' instead of `gcc' for linking. You also need the C++ layer on top of GMP (`libgmpxx.a'). The `libap_ppl.a' library contains the layer on top of PPL which implements the APRON interface.
[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |