10.17. Bibliothèques 32 Bit ISL-0.17.1

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

10.17.1. Installation de ISL

Préparez la compilation de ISL :

CC="gcc -isystem /usr/include ${BUILD32}" \
LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib ${BUILD32}" \
./configure \
    --prefix=/usr \
    --host=${CLFS_TARGET32}

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

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