6.6. PPL-0.12.1

The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. CLooG-PPL requires this library.

6.6.1. Installation of PPL

Prepare PPL for compilation:

./configure --prefix=/tools \
    --build=${CLFS_HOST} --host=${CLFS_TARGET} \
    --enable-interfaces="c,cxx" --enable-shared --disable-optimization \
    --with-gmp-include=/tools/include --with-gmp-lib=/tools/lib

Compile the package:

make

Install the package:

make install

Details on this package are located in Section 10.12.2, “Contents of PPL.”