|[ < ]||[ > ]||[ << ]||[ Up ]||[ >> ]||[Top]||[Contents]||[Index]||[ ? ]|
To use APRON PPL in C, you need of course to install PPL, after having patched it following the recommendations of the `README' file. You need also to add
You should also link your object files with the APRON PPL library to produce an executable, using `g++' (instead of `gcc', because `libppl.a' is a C++ library), and adding something like `-L$(APRON_PREFIX)/lib -lapron_ppl -L$(PPL_PREFIX)/lib -lppl -L$(GMP_PREFIX)/lib -lgmpxx' in the command line in your Makefile (followed by the standard `-lapron -litvmpq -litvdbl -L$(MPFR_PREFIX)/lib -lmpfr -L$(GMP_PREFIX)/lib -lgmp'). The `libgmpxx.a' library is the C++ wrapper on top of the GMP library. Ensure that your GMP installation contains it, as it is not always installed by default.
All scalars of type
double are converted to scalars of type
mpq_t inside APRON PPL, as APRON PPL works internally with exact
rational arithmetics. So when possible it is better for the user (in
term of efficiency) to convert already
double scalars to
The wrapper library is available in debug mode (`libapron_ppl_debug.a').