8.23. ISL-0.24

ISL - это потокобезопасная библиотека C для манипулирования множествами и отношениями целых точек, связанных линейными ограничениями.

Приблизительное время сборки: 0.1 SBU

Требуемое дисковое пространство: 20 MB

8.23.1. Установка пакета ISL

Подготовьте ISL к компиляции:

./configure --prefix=/usr    \
            --disable-static \
            --docdir=/usr/share/doc/isl-0.24

Значение новых параметров настройки:

--docdir=/usr/share/doc/isl-0.24: Эта переменная указывает правильное местоположение документации.

Скомпилируйте пакет:

make

Установите пакет и документацию к нему:

make install
install -vd /usr/share/doc/isl-0.24
install -m644 doc/{CodingStyle,manual.pdf,SubmittingPatches,user.pod} \
        /usr/share/doc/isl-0.24

Наконец, переместите файл в правильное местоположение:

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

8.23.2. Содержимое пакета ISL

Установленные библиотеки: libisl.so

Созданные каталоги: /usr/share/doc/isl-0.24

Краткое описание

libisl

Содержит функции манипулирования целочисленными наборами