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

Chapter 6. Constructing a Temporary System

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

6.6.1. Installation de PPL

Préparez la compilation de PPL : 

./configure --prefix=/tools \
    --build=${CLFS_HOST} --host=${CLFS_TARGET} \
    --enable-interfaces="c,cxx" --enable-shared --disable-optimization \
    --with-gmp-include=/tools/include --with-gmp-lib=/tools/lib

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