Cross-Compiled Linux From Scratch - Sysroot - Version SVN-0.0.1-20090726-ARM

Chapter 5. Constructing Cross-Compile Tools

5.7. PPL-0.10.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.

5.7.1. Installation of PPL

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