Les détails sur ce paquet sont disponibles dans Section 10.12.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="-I/cross-tools/include" \
LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
./configure --prefix=/cross-tools --enable-shared --disable-static \
--enable-interfaces="c,cxx" --disable-optimization \
--with-gmp=/cross-tools
Voici la signification de la nouvelle option de configure :
--enable-interfaces="c,cxx"
Dit à configure d'activer le support de C et de C++.
--disable-optimization
Dit à configure de construire PPL sans les optimisations du compilateur qui ne sont pas nécessaires pour les outils croisés.
Compilez le paquet :
make
Installez le paquet :
make install
Les détails sur ce paquet sont disponibles dans Section 10.12.2, “Contenu de PPL.”