Les détails sur ce paquet sont disponibles dans Section 10.17.2, “Contenu de PPL.”
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.
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
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.”