10.13.2. Contenu de ISL
Bibliothèques installées:
libisl.[a,so]
Répertoire installé:
/usr/include/isl
ISL est une bibliothèque pour manipuler des ensembles et des relations de points entiers liés par des contraintes linéaires.
Préparez la compilation de ISL :
CC="gcc -isystem /usr/include" \
LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
./configure \
--prefix=/usr
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