source: BOOK/final-system/common/ppl.xml @ 76b06f6

Last change on this file since 76b06f6 was 76b06f6, checked in by William Harrington <kb0iic@…>, 11 years ago

Prepare for CLFS-2.0.0 release.

  • Property mode set to 100644
File size: 4.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-ppl" role="wrap">
9  <?dbhtml filename="ppl.html"?>
10
11  <title>PPL-&ppl-version;</title>
12
13  <indexterm zone="ch-system-ppl">
14    <primary sortas="a-PPL">PPL</primary>
15  </indexterm>
16
17  <sect2 role="package">
18    <title/>
19
20    <para>The Parma Polyhedra Library (PPL) provides numerical abstractions
21    especially targeted at applications in the field of analysis and
22    verification of complex systems.  CLooG-PPL requires this library.</para>
23
24  </sect2>
25
26  <sect2 role="installation">
27    <title>Installation of PPL</title>
28
29    <para os="a">Prepare PPL for compilation:</para>
30
31<screen os="b"><userinput>CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include" \
32CXX="g++ -isystem /usr/include" \
33LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
34  ./configure --prefix=/usr --enable-shared \
35    --disable-optimization</userinput></screen>
36
37    <para os="c">Compile the package:</para>
38
39<screen os="d"><userinput>make</userinput></screen>
40
41    <important os="e">
42      <para>The test suite for PPL is considered
43      critical. Do not skip it under any circumstance.</para>
44    </important>
45
46    <para os="f">Test the results:</para>
47
48<screen os="g"><userinput>make check</userinput></screen>
49
50    <para os="h">Install the package:</para>
51
52<screen os="i"><userinput>make install</userinput></screen>
53
54  </sect2>
55
56  <sect2 id="contents-ppl" role="content">
57    <title>Contents of PPL</title>
58
59    <segmentedlist>
60      <segtitle>Installed programs</segtitle>
61      <segtitle>Installed libraries</segtitle>
62      <segtitle>Installed directories</segtitle>
63
64      <seglistitem>
65        <seg>ppl-config, ppl_lcdd, ppl_pips</seg>
66        <seg>libppl.[a,so], libppl_c.[a,so]</seg>
67        <seg>/usr/share/doc/ppl</seg>
68      </seglistitem>
69    </segmentedlist>
70
71    <variablelist>
72      <bridgehead renderas="sect3">Short Descriptions</bridgehead>
73      <?dbfo list-presentation="list"?>
74      <?dbhtml list-presentation="table"?>
75
76      <varlistentry id="ppl-config">
77        <term><command>ppl-config</command></term>
78        <listitem>
79          <para>Outputs information about the PPL installation</para>
80          <indexterm zone="ch-system-ppl ppl-config">
81            <primary sortas="b-ppl-config">ppl-config</primary>
82          </indexterm>
83        </listitem>
84      </varlistentry>
85
86      <varlistentry id="ppl_lcdd">
87        <term><command>ppl_lcdd</command></term>
88        <listitem>
89          <para>Reads an H-representation of a polyhedron and generates a
90          V-representation of the same polyhedron</para>
91          <indexterm zone="ch-system-ppl ppl_lcdd">
92            <primary sortas="b-ppl_lcdd">ppl_lcdd</primary>
93          </indexterm>
94        </listitem>
95      </varlistentry>
96
97      <varlistentry id="ppl_pips">
98        <term><command>ppl_pips</command></term>
99        <listitem>
100          <para>A PPL-based parametric integer programming problem solver</para>
101          <indexterm zone="ch-system-ppl ppl_pips">
102            <primary sortas="b-ppl_pips">ppl_pips</primary>
103          </indexterm>
104        </listitem>
105      </varlistentry>
106
107      <varlistentry id="libppl">
108        <term><filename class="libraryfile">libppl</filename></term>
109        <listitem>
110          <para>The Parma Polyhedra Library (PPL).</para>
111          <indexterm zone="ch-system-ppl libppl">
112            <primary sortas="c-libppl">libppl</primary>
113          </indexterm>
114            </listitem>
115      </varlistentry>
116
117      <varlistentry id="libppl_c">
118        <term><filename class="libraryfile">libppl_c</filename></term>
119        <listitem>
120          <para>The Parma Polyhedra Library bindings for C.</para>
121          <indexterm zone="ch-system-ppl libppl_c">
122            <primary sortas="c-libppl_c">libppl_c</primary>
123          </indexterm>
124        </listitem>
125      </varlistentry>
126
127      <varlistentry id="libpwl">
128        <term><filename class="libraryfile">libpwl</filename></term>
129        <listitem>
130          <para>The Parma Watchdog Library</para>
131          <indexterm zone="ch-system-ppl libpwl">
132            <primary sortas="c-libpwl">libpwl</primary>
133          </indexterm>
134        </listitem>
135      </varlistentry>
136
137    </variablelist>
138
139  </sect2>
140
141</sect1>
Note: See TracBrowser for help on using the repository browser.