Details on this package are located in Section 6.7.3, “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:
LDFLAGS="-Wl,-rpath,${CLFS}/cross-tools/lib" \ ./configure --prefix=${CLFS}/cross-tools --enable-shared \ --enable-interfaces="c,cxx" --disable-optimization \ --with-libgmp-prefix=${CLFS}/cross-tools \ --with-libgmpxx-prefix=${CLFS}/cross-tools
Compile the package:
make
Install the package:
make install
Details on this package are located in Section 6.7.3, “Contents of PPL.”