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" arch="ml_32,ml_x32,ml_all">
|
---|
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 thread-safe C library for manipulating sets and relations
|
---|
27 | of integer points bounded by affine constraints.</para>
|
---|
28 |
|
---|
29 | <segmentedlist>
|
---|
30 | <segtitle>&buildtime;</segtitle>
|
---|
31 | <segtitle>&diskspace;</segtitle>
|
---|
32 |
|
---|
33 | <seglistitem>
|
---|
34 | <seg>&isl-fin-sbu;</seg>
|
---|
35 | <seg>&isl-fin-du;</seg>
|
---|
36 | </seglistitem>
|
---|
37 | </segmentedlist>
|
---|
38 |
|
---|
39 | </sect2>
|
---|
40 |
|
---|
41 | <sect2 role="installation">
|
---|
42 | <title>Installation of ISL</title>
|
---|
43 |
|
---|
44 | <para>Prepare ISL for compilation:</para>
|
---|
45 |
|
---|
46 | <screen><userinput remap="configure">./configure --prefix=/usr \
|
---|
47 | --disable-static \
|
---|
48 | --docdir=/usr/share/doc/isl-&isl-version;</userinput></screen>
|
---|
49 |
|
---|
50 | <variablelist>
|
---|
51 | <title>The meaning of the new configure options:</title>
|
---|
52 |
|
---|
53 | <varlistentry>
|
---|
54 | <term><parameter>--docdir=/usr/share/doc/isl-&isl-version;</parameter></term>
|
---|
55 | <listitem>
|
---|
56 | <para>This variable specifies the correct place for the
|
---|
57 | documentation.</para>
|
---|
58 | </listitem>
|
---|
59 | </varlistentry>
|
---|
60 |
|
---|
61 | </variablelist>
|
---|
62 |
|
---|
63 | <para>Compile the package:</para>
|
---|
64 |
|
---|
65 | <screen><userinput remap="make">make</userinput></screen>
|
---|
66 |
|
---|
67 | <para>Install the package and its documentation:</para>
|
---|
68 |
|
---|
69 | <screen><userinput remap="install">make install
|
---|
70 | install -vd /usr/share/doc/isl-&isl-version;
|
---|
71 | install -m644 doc/{CodingStyle,manual.pdf,SubmittingPatches,user.pod} \
|
---|
72 | /usr/share/doc/isl-&isl-version;</userinput></screen>
|
---|
73 |
|
---|
74 | <para>Finally, move a misplaced file:</para>
|
---|
75 |
|
---|
76 | <screen><userinput remap="install">mkdir -pv /usr/share/gdb/auto-load/usr/lib
|
---|
77 | mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib</userinput></screen>
|
---|
78 |
|
---|
79 | </sect2>
|
---|
80 |
|
---|
81 | <sect2 id="contents-isl" role="content">
|
---|
82 | <title>Contents of ISL</title>
|
---|
83 |
|
---|
84 | <segmentedlist>
|
---|
85 | <segtitle>Installed Libraries</segtitle>
|
---|
86 | <segtitle>Installed directory</segtitle>
|
---|
87 |
|
---|
88 | <seglistitem>
|
---|
89 | <seg>libisl.so</seg>
|
---|
90 | <seg>/usr/share/doc/isl-&isl-version;</seg>
|
---|
91 | </seglistitem>
|
---|
92 | </segmentedlist>
|
---|
93 |
|
---|
94 | <variablelist>
|
---|
95 | <bridgehead renderas="sect3">Short Descriptions</bridgehead>
|
---|
96 | <?dbfo list-presentation="list"?>
|
---|
97 | <?dbhtml list-presentation="table"?>
|
---|
98 |
|
---|
99 | <varlistentry id="libisl">
|
---|
100 | <term><filename class="libraryfile">libisl</filename></term>
|
---|
101 | <listitem>
|
---|
102 | <para>Contains integer set manipulation functions</para>
|
---|
103 | <indexterm zone="ch-system-isl libisl">
|
---|
104 | <primary sortas="c-libisl">libisl</primary>
|
---|
105 | </indexterm>
|
---|
106 | </listitem>
|
---|
107 | </varlistentry>
|
---|
108 | </variablelist>
|
---|
109 |
|
---|
110 | </sect2>
|
---|
111 |
|
---|
112 | </sect1>
|
---|
113 |
|
---|