5.12. 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.

5.12.1. Installation of PPL

Prepare PPL for compilation:

CPPFLAGS="-I/cross-tools/include" \
    LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
    ./configure --prefix=/cross-tools --enable-shared --disable-static \
    --enable-interfaces="c,cxx" --disable-optimization \
    --with-gmp=/cross-tools

The meaning of the new configure option:

--enable-interfaces="c,cxx"

Tells configure to enable support for both C and C++.

--disable-optimization

Tells configure to build PPL without compiler optimizations, which are not needed for the Cross-Tools.

Compile the package:

make

Install the package:

make install

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