6.6. PPL-0.11.2

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:

CC="${CC} ${BUILD64}" ./configure --prefix=/tools \
    --build=${CLFS_HOST} --host=${CLFS_TARGET} \
    --enable-interfaces="c,cxx" --libdir=/tools/lib64 --enable-shared \
    --disable-optimization --with-libgmp-prefix=/tools \
    --with-libgmpxx-prefix=/tools

When PPL is cross-compiled, it does not check whether GMP was compiled with support for exceptions, and simply assumes it was not. This assumption is incorrect, so we will fix that:

echo '#define PPL_GMP_SUPPORTS_EXCEPTIONS 1' >> confdefs.h

Compile the package:

make

Install the package:

make install

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