10.16. PPL-0.11.2 32 Bit Libraries

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.

10.16.1. Installation of PPL

Prepare PPL for compilation:

CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include ${BUILD32}" \
CXX="g++ -isystem /usr/include ${BUILD32}" \
LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib ${BUILD32}" \
  ./configure --prefix=/usr --host=${CLFS_TARGET32} \
    --enable-shared --disable-optimization

Compile the package:

make
[Important]

Important

The test suite for PPL is considered critical. Do not skip it under any circumstance.

Test the results:

make check

Install the package:

make install

Prepare ppl-config to be wrapped by the multiarch wrapper:

mv -v /usr/bin/ppl-config{,-32}

One of the headers installed by PPL is architecture specific. Programs compiled as 32bit will require the header provided by the 32bit installation of PPL. The same applies for 64bit programs. Move the header so a wrapper can be put in its place later:

mv -v /usr/include/ppl{,-32}.hh

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