Les détails sur ce paquet sont disponibles dans Section 10.22.2, “Contenu de PPL.”
10.21. PPL-0.12.1 N32 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.21.1. Installation de PPL
Préparez la compilation de PPL :
CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include ${BUILDN32}" \
CXX="g++ -isystem /usr/include ${BUILDN32}" \
LDFLAGS="-Wl,-rpath-link,/usr/lib32:/lib32 ${BUILDN32}" \
./configure --prefix=/usr --libdir=/usr/lib32 \
--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{,-n32}
Create the N32 header file:
mv -v /usr/include/ppl{,-n32}.hh