Les détails sur ce paquet sont disponibles dans Section 10.22.2, “Contenu de PPL.”
10.20. PPL-0.12.1 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.20.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]](../images/important.png)
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 à être envelopper
par l'enveloppeur multiarchitecture et ensuite l'enveloppe:
mv -v /usr/bin/ppl-config{,-32}
Une des entêtes installées par PPL est spécifique à l'architecture. Les programmes compilés en 32 bits demanderont les entêtes fournies par l'installation 32 bits de PPL. Les mêmes choses pour les programmes 64 bits. Déplacez l'en-tête de sorte qu'une enveloppe puisse être mis à sa place plus tard:
mv -v /usr/include/ppl{,-32}.hh