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-libgmp-prefix=/tools --with-libgmpxx-prefix=/tools
Quand PPL est compilé de façon croisée, il ne vérifie pas si GMP a été compilé avec le support pour les exceptions et il se contente de supposer que ce n'est pas le cas. Ce présupposé est faux, donc corrigez-le :
echo '#define PPL_GMP_SUPPORTS_EXCEPTIONS 1' >> confdefs.h
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.”