Les détails sur ce paquet sont situés dans Section 10.17.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 :
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.”