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.
Préparez la compilation de CLooG-PPL :
CC="gcc -isystem /usr/include" \ LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \ ./configure --prefix=/usr --enable-shared --with-gmp \ --with-ppl
Compilez le paquet :
make
La suite de tests de CLooG-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