10.22. Bibliothèques ISL-0.17.1 N32

ISL est une bibliothèque pour manipuler des ensembles et des relations de points entiers liés par des contraintes linéaires.

10.22.1. Installation de ISL

Préparez la compilation de ISL :

CC="gcc -isystem /usr/include ${BUILDN32}" \
LDFLAGS="-Wl,-rpath-link,/usr/lib32:/lib32 ${BUILDN32}" \
./configure \
    --prefix=/usr \
    --libdir=/usr/lib32

Compilez le paquet :

make

Testez le résultat :

make check

Installez le paquet :

make install

Enfin, déplacez un fichier mal placé :

mkdir -pv /usr/share/gdb/auto-load/usr/lib32
mv -v /usr/lib32/*gdb.py /usr/share/gdb/auto-load/usr/lib32

Des détails sur ce paquet se trouvent sur Section 10.23.2, « Contenu de ISL. »