[460f575] | 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 | <sect1info condition="script">
|
---|
| 12 | <productname>isl</productname>
|
---|
| 13 | <productnumber>&isl-version;</productnumber>
|
---|
| 14 | <address>&isl-url;</address>
|
---|
| 15 | </sect1info>
|
---|
| 16 |
|
---|
| 17 | <title>ISL-&isl-version;</title>
|
---|
| 18 |
|
---|
| 19 | <indexterm zone="ch-system-isl">
|
---|
| 20 | <primary sortas="a-ISL">ISL</primary>
|
---|
| 21 | </indexterm>
|
---|
| 22 |
|
---|
| 23 | <sect2 role="package">
|
---|
| 24 | <title/>
|
---|
| 25 |
|
---|
| 26 | <para>ISL is a library for manipulating sets and relations of integer points bounded by linear constraints.</para>
|
---|
| 27 |
|
---|
| 28 | <segmentedlist>
|
---|
| 29 | <segtitle>&buildtime;</segtitle>
|
---|
| 30 | <segtitle>&diskspace;</segtitle>
|
---|
| 31 |
|
---|
| 32 | <seglistitem>
|
---|
| 33 | <seg>&isl-fin-sbu;</seg>
|
---|
| 34 | <seg>&isl-fin-du;</seg>
|
---|
| 35 | </seglistitem>
|
---|
| 36 | </segmentedlist>
|
---|
| 37 |
|
---|
| 38 | </sect2>
|
---|
| 39 |
|
---|
| 40 | <sect2 role="installation">
|
---|
| 41 | <title>Installation of ISL</title>
|
---|
| 42 |
|
---|
| 43 | <note>
|
---|
| 44 | <para>CFLAGS and CXXFLAGS can use the following flags for using ISL
|
---|
| 45 | with Graphite loop optimizations:
|
---|
| 46 | <userinput>-fgraphite-identity -ftree-loop-distribution
|
---|
| 47 | -floop-nest-optimize -floop-strip-mine -floop-interchange -floop-block
|
---|
| 48 | -ftree-loop-distribute-patterns</userinput>
|
---|
| 49 | </para>
|
---|
| 50 | </note>
|
---|
| 51 |
|
---|
| 52 | <para>Prepare ISL for compilation:</para>
|
---|
| 53 |
|
---|
| 54 | <screen><userinput remap="configure">./configure --prefix=/usr \
|
---|
| 55 | --disable-static \
|
---|
| 56 | --docdir=/usr/share/doc/isl-&isl-version;</userinput></screen>
|
---|
| 57 |
|
---|
| 58 | <para>Compile the package and generate the HTML documentation:</para>
|
---|
| 59 |
|
---|
| 60 | <screen><userinput remap="make">make
|
---|
| 61 | make html</userinput></screen>
|
---|
| 62 |
|
---|
| 63 | <para>To test the results, issue:</para>
|
---|
| 64 |
|
---|
| 65 | <screen><userinput remap="test">make check</userinput></screen>
|
---|
| 66 |
|
---|
| 67 | <para>Install the package and its documentation:</para>
|
---|
| 68 |
|
---|
| 69 | <screen><userinput remap="install">make install
|
---|
| 70 | make install-html</userinput></screen>
|
---|
| 71 |
|
---|
| 72 | </sect2>
|
---|
| 73 |
|
---|
| 74 |
|
---|
| 75 | <sect2 id="contents-isl" role="content">
|
---|
| 76 | <title>Contents of ISL</title>
|
---|
| 77 |
|
---|
| 78 | <segmentedlist>
|
---|
| 79 | <segtitle>Installed Libraries</segtitle>
|
---|
| 80 | <segtitle>Installed Directory</segtitle>
|
---|
| 81 |
|
---|
| 82 | <seglistitem>
|
---|
| 83 | <seg>libisl.so</seg>
|
---|
| 84 | <seg>/usr/share/doc/isl-&isl-version;</seg>
|
---|
| 85 | </seglistitem>
|
---|
| 86 | </segmentedlist>
|
---|
| 87 |
|
---|
| 88 | <variablelist>
|
---|
| 89 | <bridgehead renderas="sect3">Short Descriptions</bridgehead>
|
---|
| 90 | <?dbfo list-presentation="list"?>
|
---|
| 91 | <?dbhtml list-presentation="table"?>
|
---|
| 92 |
|
---|
| 93 | <varlistentry id="libisl">
|
---|
| 94 | <term><filename class="libraryfile">libisl</filename></term>
|
---|
| 95 | <listitem>
|
---|
| 96 | <para>The Integer Set Library</para>
|
---|
| 97 | <indexterm zone="ch-system-isl libisl">
|
---|
| 98 | <primary sortas="c-libisl">libisl</primary>
|
---|
| 99 | </indexterm>
|
---|
| 100 | </listitem>
|
---|
| 101 | </varlistentry>
|
---|
| 102 |
|
---|
| 103 | </variablelist>
|
---|
| 104 |
|
---|
| 105 | </sect2>
|
---|
| 106 |
|
---|
| 107 | </sect1>
|
---|