Les détails sur ce paquet sont situés 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 :
CC="${CC} ${BUILD64}" ./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 situés dans Section 10.12.2, « Contenu de PPL. »