source: BOOK/final-system/common/ppl.xml @ 47baed6

clfs-1.2clfs-2.1clfs-3.0.0-systemdclfs-3.0.0-sysvinitsystemdsysvinit
Last change on this file since 47baed6 was 47baed6, checked in by Chris Staub <chris@…>, 11 years ago

Updated program list for PPL

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