Les détails sur ce paquet sont disponibles dans Section 10.12.2, « Contenu de PPL. »
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.
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. »