6.7. CLooG-PPL 0.15.11

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.

6.7.1. Installation de CLooG-PPL

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 :

./configure --prefix=/tools \
    --build=${CLFS_HOST} --host=${CLFS_TARGET} --with-bits=gmp \
    --with-ppl=/tools --with-gmp=/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. »