Details on this package are located in Section 10.22.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:
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.22.2, “Contents of PPL.”