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

Chapitre 5. Constructing Cross-Compile Tools

5.11. PPL-0.11.2

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.

5.11.1. Installation de PPL

Préparez la compilation de PPL : 

CPPFLAGS="-I/cross-tools/include" \
    LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
    --enable-interfaces="c,cxx" --disable-optimization \
    --with-libgmp-prefix=/cross-tools \
    --with-libgmpxx-prefix=/cross-tools

Compilez le paquet : 

make

Installez le paquet : 

make install

Les détails sur ce paquet sont disponibles dans Section 10.12.2, « Contenu de PPL. »