Linux From Scratch compilé de façon croisée - Version GIT-20130401-x86

Chapitre 10. Installing Basic System Software

10.12. PPL-0.12.1

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.

10.12.1. Installation de PPL

Préparez la compilation de PPL : 

CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include" \
CXX="g++ -isystem /usr/include" \
LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
  ./configure --prefix=/usr --enable-shared \
    --disable-optimization

Compilez le paquet : 

make
[Important]

Important

La suite de tests de 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.12.2. Contenu de PPL

Programmes installés: ppl-config, ppl_lcdd, ppl_pips
Bibliothèques installées: libppl.[a,so], libppl_c.[a,so]
Répertoires installés: /usr/share/doc/ppl

Descriptions courtes

ppl-config

Affiche des informations sur l'installation de PPL

ppl_lcdd

Lit une représentation H d'un polyhèdre et génère une représentation V du même polyhèdre

ppl_pips

Un résolveur de problèmes de programmation paramétrique d'entiers basé sur PPL

libppl

La bibliothèque Parma Polyhedra Library (PPL).

libppl_c

Les bindings de Parma Polyhedra Library pour C.

libpwl

La bibliothèque Parma Watchdog Library