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

6.6.1. Installation de PPL

Préparez la compilation de PPL :

CC="${CC} ${BUILD64}" ./configure --prefix=/tools \
    --build=${CLFS_HOST} --host=${CLFS_TARGET} \
    --enable-interfaces="c,cxx" --libdir=/tools/lib64 --enable-shared \
    --disable-optimization --with-libgmp-prefix=/tools \
    --with-libgmpxx-prefix=/tools

Compilez le paquet :

make

Installez le paquet :

make install

Les détails sur ce paquet sont situés dans Section 10.17.2, “Contenu de PPL.”