Details on this package are located in Section 10.12.2, “Contents of PPL.”
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.
Prepare PPL for compilation:
./configure --prefix=/tools \
--build=${CLFS_HOST} --host=${CLFS_TARGET} \
--enable-interfaces="c,cxx" --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.12.2, “Contents of PPL.”