8.24. ISL-0.26

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

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

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

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

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

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

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

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

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

make

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

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

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

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

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

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

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

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

libisl

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