Les détails sur ce paquet sont disponibles dans Section 10.13.2, “Contenu de CLooG-PPL.”
CLooG-PPL est une bibliothèque pour générer du code pour analyser des polyhèdres Z. En d'autres termes, il trouve du code qui atteint chaque point entier (ou intégral) d'un ou plusieurs polyhèdres paramétrés. GCC se lie à cette bibliothèque afin d'activer le nouveau code de génération de boucle, connu en tant que Graphite.
Ce qui suit empêche le script configure de paramétrer LD_LIBRARY_PATH lorsqu'il trouve PPL. Cela empêchera
tout conflit avec des bibliothèques du système hôte :
cp -v configure{,.orig}
sed -e "/LD_LIBRARY_PATH=/d" \
configure.orig > configure
Préparez la compilation de CLooG-PPL :
LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
./configure --prefix=/cross-tools --enable-shared --with-bits=gmp \
--with-gmp=/cross-tools --with-ppl=/cross-tools
Compilez le paquet :
make
Installez le paquet :
make install
Les détails sur ce paquet sont disponibles dans Section 10.13.2, “Contenu de CLooG-PPL.”