%general-entities; ]> isl &isl-version;
&isl-url;
 ISL-&isl-version; ISL <para>ISL - это потокобезопасная библиотека C для манипулирования множествами и отношениями целых точек, связанных линейными ограничениями.</para> <segmentedlist> <segtitle>&buildtime;</segtitle> <segtitle>&diskspace;</segtitle> <seglistitem> <seg>&isl-fin-sbu;</seg> <seg>&isl-fin-du;</seg> </seglistitem> </segmentedlist> </sect2> <sect2 role="installation"> <title>Установка пакета ISL Подготовьте ISL к компиляции: ./configure --prefix=/usr \ --disable-static \ --docdir=/usr/share/doc/isl-&isl-version; Значение новых параметров настройки: --docdir=/usr/share/doc/isl-&isl-version; Эта переменная указывает правильное местоположение документации. Скомпилируйте пакет: make Установите пакет и документацию к нему: make install install -vd /usr/share/doc/isl-&isl-version; install -m644 doc/{CodingStyle,manual.pdf,SubmittingPatches,user.pod} \ /usr/share/doc/isl-&isl-version; Наконец, переместите файл в правильное местоположение: mkdir -pv /usr/share/gdb/auto-load/usr/lib mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib Содержимое пакета ISL Установленные библиотеки Созданные каталоги libisl.so /usr/share/doc/isl-&isl-version; Краткое описание libisl Содержит функции манипулирования целочисленными наборами libisl