10.18. ISL-0.17.1 64 Bits

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

10.18.1. Installation de ISL

Préparez la compilation de ISL :

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

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/lib64
mv -v /usr/lib64/*gdb.py /usr/share/gdb/auto-load/usr/lib64

10.18.2. Contenu de ISL

Bibliothèques installées: libisl.[a,so]
Répertoire installé: /usr/include/isl

Descriptions courtes

libisl

La bibliothèque d'ensemble d'entiers