10.17. PPL-0.11.2 64 Bit

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.

10.17.1. Installation de PPL

Préparez la compilation de PPL :

CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include ${BUILD64}" \
CXX="g++ -isystem /usr/include ${BUILD64}" \
LDFLAGS="-Wl,-rpath-link,/usr/lib64:/lib64 ${BUILD64}" \
  ./configure --prefix=/usr --libdir=/usr/lib64 \
    --enable-shared --disable-optimization

Compilez le paquet :

make
[Important]

Important

La suite de tests de PPL est considérée comme critique. Ne la sautez sous aucun prétexte.

Testez les résultats :

make check

Installez le paquet :

make install

Prepare ppl-config to be wrapped by the multiarch wrapper and then wrap it:

mv -v /usr/bin/ppl-config{,-64}
ln -svf multiarch_wrapper /usr/bin/ppl-config

Create the 64bit header file:

mv -v /usr/include/ppl{,-64}.hh

Finally, create a stub header in the place of the originals:

cat > /usr/include/ppl.hh << "EOF"
/* ppl.hh - Stub Header  */
#ifndef __STUB__PPL_HH__
#define __STUB__PPL_HH__

#if defined(__x86_64__) || \
    defined(__sparc64__) || \
    defined(__arch64__) || \
    defined(__powerpc64__) || \
    defined (__s390x__)
# include "ppl-64.h"
#else
# include "ppl-32.h"
#endif

#endif /* __STUB__PPL_HH__ */
EOF

10.17.2. Contenu de PPL

Programmes installés: ppl-config, ppl_lcdd
Bibliothèques installées: libppl.[a,so], libppl_c.[a,so], libpwl.[a,so]
Répertoires installés: /usr/share/doc/ppl, /usr/share/doc/pwl

Descriptions courtes

ppl-config

Affiche des informations sur l'installation de PPL

ppl_lcdd

Lit une représentation H d'un polyhèdre et génère une représentation V du même polyhèdre

libppl

La bibliothèque Parma Polyhedra Library (PPL).

libppl_c

Les bindings de Parma Polyhedra Library pour C.

libpwl

La bibliothèque Parma Watchdog Library