[cf7029d] | 1 | <?xml version="1.0" encoding="ISO-8859-1"?> |
---|
| 2 | <!DOCTYPE sect1 PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN" |
---|
| 3 | "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [ |
---|
| 4 | <!ENTITY % general-entities SYSTEM "../../general.ent"> |
---|
| 5 | %general-entities; |
---|
| 6 | ]> |
---|
| 7 | |
---|
| 8 | <sect1 id="ch-system-isl" role="wrap"> |
---|
| 9 | <?dbhtml filename="isl.html"?> |
---|
| 10 | |
---|
| 11 | <title>ISL-&isl-version;</title> |
---|
| 12 | |
---|
| 13 | <indexterm zone="ch-system-isl"> |
---|
| 14 | <primary sortas="a-ISL">ISL</primary> |
---|
| 15 | </indexterm> |
---|
| 16 | |
---|
| 17 | <sect2 role="package"> |
---|
| 18 | <title/> |
---|
| 19 | |
---|
| 20 | <para>ISL is a library for manipulating sets and relations of integer |
---|
| 21 | points bounded by linear constraints.</para> |
---|
| 22 | |
---|
| 23 | </sect2> |
---|
| 24 | |
---|
| 25 | <sect2 role="installation"> |
---|
| 26 | <title>Installation of ISL</title> |
---|
| 27 | |
---|
| 28 | <para os="a">Prepare ISL for compilation:</para> |
---|
| 29 | |
---|
| 30 | <screen os="b"><userinput>CC="gcc -isystem /usr/include" \ |
---|
| 31 | LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \ |
---|
[7cd7f99] | 32 | ./configure \ |
---|
| 33 | --prefix=/usr</userinput></screen> |
---|
[cf7029d] | 34 | |
---|
| 35 | <para os="c">Compile the package:</para> |
---|
| 36 | |
---|
| 37 | <screen os="d"><userinput>make</userinput></screen> |
---|
| 38 | |
---|
[ac7dfaa] | 39 | <para os="e">Test the results:</para> |
---|
[cf7029d] | 40 | |
---|
[ac7dfaa] | 41 | <screen os="f"><userinput remap="test">make check</userinput></screen> |
---|
[cf7029d] | 42 | |
---|
[ac7dfaa] | 43 | <para os="g">Install the package:</para> |
---|
[cf7029d] | 44 | |
---|
[ac7dfaa] | 45 | <screen os="h"><userinput>make install</userinput></screen> |
---|
[cf7029d] | 46 | |
---|
[ac7dfaa] | 47 | <para os="i">Finally, move a misplaced file:</para> |
---|
[cf7029d] | 48 | |
---|
[ac7dfaa] | 49 | <screen os="j"><userinput>mkdir -pv /usr/share/gdb/auto-load/usr/lib |
---|
[c3c06b8] | 50 | mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib</userinput></screen> |
---|
[cf7029d] | 51 | </sect2> |
---|
| 52 | |
---|
| 53 | <sect2 id="contents-isl" role="content"> |
---|
| 54 | <title>Contents of ISL</title> |
---|
| 55 | |
---|
| 56 | <segmentedlist> |
---|
| 57 | <segtitle>Installed libraries</segtitle> |
---|
[ef1348f] | 58 | <segtitle>Installed directory</segtitle> |
---|
[cf7029d] | 59 | |
---|
| 60 | <seglistitem> |
---|
| 61 | <seg>libisl.[a,so]</seg> |
---|
[ef1348f] | 62 | <seg>/usr/include/isl</seg> |
---|
[cf7029d] | 63 | </seglistitem> |
---|
| 64 | </segmentedlist> |
---|
| 65 | |
---|
| 66 | <variablelist> |
---|
| 67 | <bridgehead renderas="sect3">Short Descriptions</bridgehead> |
---|
| 68 | <?dbfo list-presentation="list"?> |
---|
| 69 | <?dbhtml list-presentation="table"?> |
---|
| 70 | |
---|
| 71 | <varlistentry id="libisl"> |
---|
| 72 | <term><filename class="libraryfile">libisl</filename></term> |
---|
| 73 | <listitem> |
---|
| 74 | <para>The Integer Set Library.</para> |
---|
| 75 | <indexterm zone="ch-system-isl libisl"> |
---|
| 76 | <primary sortas="c-libisl">libisl</primary> |
---|
| 77 | </indexterm> |
---|
| 78 | </listitem> |
---|
| 79 | </varlistentry> |
---|
| 80 | |
---|
| 81 | </variablelist> |
---|
| 82 | |
---|
| 83 | </sect2> |
---|
| 84 | |
---|
| 85 | </sect1> |
---|