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

systemd
Last change on this file since 49678f8 was 7cd7f99, checked in by Chris Staub <chris@…>, 8 years ago

Put one configure option per line

  • Property mode set to 100644
File size: 2.3 KB
Line 
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" \
31LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
32./configure \
33    --prefix=/usr</userinput></screen>
34
35    <para os="c">Compile the package:</para>
36
37<screen os="d"><userinput>make</userinput></screen>
38
39    <para os="e">Test the results:</para>
40
41<screen os="f"><userinput remap="test">make check</userinput></screen>
42
43    <para os="g">Install the package:</para>
44
45<screen os="h"><userinput>make install</userinput></screen>
46
47    <para os="i">Finally, move a misplaced file:</para>
48
49<screen os="j"><userinput>mkdir -pv /usr/share/gdb/auto-load/usr/lib
50mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib</userinput></screen>
51  </sect2>
52
53  <sect2 id="contents-isl" role="content">
54    <title>Contents of ISL</title>
55
56    <segmentedlist>
57      <segtitle>Installed libraries</segtitle>
58      <segtitle>Installed directory</segtitle>
59
60      <seglistitem>
61        <seg>libisl.[a,so]</seg>
62        <seg>/usr/include/isl</seg>
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>
Note: See TracBrowser for help on using the repository browser.