source: BOOK/final-system/common/isl.xml@ e848082

<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE sect1 PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
  "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
  <!ENTITY % general-entities SYSTEM "../../general.ent">
  %general-entities;
]>

<sect1 id="ch-system-isl" role="wrap">
  <?dbhtml filename="isl.html"?>

  <title>ISL-&isl-version;</title>

  <indexterm zone="ch-system-isl">
    <primary sortas="a-ISL">ISL</primary>
  </indexterm>

  <sect2 role="package">
    <title/>

    <para>ISL is a library for manipulating sets and relations of integer
    points bounded by linear constraints.</para>

  </sect2>

  <sect2 role="installation">
    <title>Installation of ISL</title>

    <para os="a">Prepare ISL for compilation:</para>

<screen os="b"><userinput>CC="gcc -isystem /usr/include" \
LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
  ./configure --prefix=/usr</userinput></screen>

    <para os="c">Compile the package:</para>

<screen os="d"><userinput>make</userinput></screen>

    <important os="e">
      <para>The test suite for ISL is considered
      critical. Do not skip it under any circumstance.</para>
    </important>

    <para os="f">Test the results:</para>

<screen os="g"><userinput remap="test">make check</userinput></screen>

    <para os="h">Install the package:</para>

<screen os="i"><userinput>make install</userinput></screen>

    <para os="j">Finally, move a misplaced file:</para>

<screen os="k"><userinput>mkdir -pv /usr/share/gdb/auto-load/usr/lib
mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib</userinput></screen>
  </sect2>

  <sect2 id="contents-isl" role="content">
    <title>Contents of ISL</title>

    <segmentedlist>
      <segtitle>Installed libraries</segtitle>
      <segtitle>Installed directory</segtitle>

      <seglistitem>
        <seg>libisl.[a,so]</seg>
        <seg>/usr/include/isl</seg>
      </seglistitem>
    </segmentedlist>

    <variablelist>
      <bridgehead renderas="sect3">Short Descriptions</bridgehead>
      <?dbfo list-presentation="list"?>
      <?dbhtml list-presentation="table"?>

      <varlistentry id="libisl">
        <term><filename class="libraryfile">libisl</filename></term>
        <listitem>
          <para>The Integer Set Library.</para>
          <indexterm zone="ch-system-isl libisl">
            <primary sortas="c-libisl">libisl</primary>
          </indexterm>
        </listitem>
      </varlistentry>

    </variablelist>

  </sect2>

</sect1>