source: BOOK/final-system/common/ppl.xml@ 6af2662

clfs-1.2 clfs-2.1 clfs-3.0.0-systemd clfs-3.0.0-sysvinit systemd sysvinit
Last change on this file since 6af2662 was 6af2662, checked in by Joe Ciccone <jciccone@…>, 14 years ago

Updated PPL to 0.11.2

  • Property mode set to 100644
File size: 4.0 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" \
32 CXX="g++ -isystem /usr/include" \
33 LDFLAGS="-Wl,-rpath-link,/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</seg>
66 <seg>libppl.[a,so], libppl_c.[a,so], libpwl.[a,so]</seg>
67 <seg>/usr/share/doc/ppl, /usr/share/doc/pwl</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="libppl">
98 <term><filename class="libraryfile">libppl</filename></term>
99 <listitem>
100 <para>The Parma Polyhedra Library (PPL).</para>
101 <indexterm zone="ch-system-ppl libppl">
102 <primary sortas="c-libppl">libppl</primary>
103 </indexterm>
104 </listitem>
105 </varlistentry>
106
107 <varlistentry id="libppl_c">
108 <term><filename class="libraryfile">libppl_c</filename></term>
109 <listitem>
110 <para>The Parma Polyhedra Library bindings for C.</para>
111 <indexterm zone="ch-system-ppl libppl_c">
112 <primary sortas="c-libppl_c">libppl_c</primary>
113 </indexterm>
114 </listitem>
115 </varlistentry>
116
117 <varlistentry id="libpwl">
118 <term><filename class="libraryfile">libpwl</filename></term>
119 <listitem>
120 <para>The Parma Watchdog Library</para>
121 <indexterm zone="ch-system-ppl libpwl">
122 <primary sortas="c-libpwl">libpwl</primary>
123 </indexterm>
124 </listitem>
125 </varlistentry>
126
127 </variablelist>
128
129 </sect2>
130
131</sect1>
Note: See TracBrowser for help on using the repository browser.