diff --git a/chapter08/isl.xml b/chapter08/isl.xml index 241ef96..e2a0047 100644 --- a/chapter08/isl.xml +++ b/chapter08/isl.xml @@ -1,4 +1,4 @@ - + @@ -23,8 +23,8 @@ - <para>ISL - ??? ???????????????? ?????????? C ??? ?????????? ??????????? ? ??????????? - ????????????? ?????, ????????? ????????? ?????????????.</para> + <para>ISL - это потокобезопасная библиотека C для манипулирования множествами и + отношениями целых точек, связанных линейными ограничениями.</para> <segmentedlist> <segtitle>&buildtime;</segtitle> @@ -39,38 +39,38 @@ </sect2> <sect2 role="installation"> - <title>????????? ?????? ISL + Установка пакета ISL - ??????????? 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 @@ -78,11 +78,11 @@ mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib - Contents of ISL + Содержимое пакета ISL - ????????????? ?????????? - ????????? ???????? + Установленные библиотеки + Созданные каталоги libisl.so @@ -91,14 +91,14 @@ mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib - ??????? ???????? + Краткое описание libisl - ???????? ??????? ??????????????? ?????????????? ???????? + Содержит функции манипулирования целочисленными наборами libisl