10.13. 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.

10.13.1. Installation de CLooG-PPL

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
[Important]

Important

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

10.13.2. Contenu de CLooG-PPL

Programmes installés: cloog
Bibliothèques installées: libcloog.[a,so]
Répertoire installé: /usr/include/cloog

Descriptions courtes

cloog

Générateur de boucle pour l'analyse de polyhèdres Z

libcloog

Le générateur de boucle Chunky.