10.16. PPL-0.11.2 32 Bit Libraries

La bibliothèque Parma Polyhedra Library (PPL) fourni des abstractions numériques destinées principalement à des applications dans le domaine de l'analys et de la vérification de systèmes complexes. CLooG-PPL exige cette bibliothèque.

10.16.1. Installation de PPL

Préparez la compilation de PPL :

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

Compilez le paquet :

make
[Important]

Important

La suite de tests de PPL est considérée comme critique. Ne la sautez sous aucun prétexte.

Testez les résultats :

make check

Installez le paquet :

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

Les détails sur ce paquet sont disponibles dans Section 10.17.2, “Contenu de PPL.”