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

clfs-2.1 clfs-3.0.0-systemd clfs-3.0.0-sysvinit systemd sysvinit
Last change on this file since de64be35 was 2b220db9, checked in by Chris Staub <chris@…>, 12 years ago

Updates to installed programs lists

  • Property mode set to 100644
File size: 4.3 KB
RevLine 
[9470388]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
[e81afa2]20 <para>The Parma Polyhedra Library (PPL) provides numerical abstractions
[9470388]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
[d7bec52]31<screen os="b"><userinput>CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include" \
[b6831b6]32CXX="g++ -isystem /usr/include" \
33LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
34 ./configure --prefix=/usr --enable-shared \
35 --disable-optimization</userinput></screen>
[9470388]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>
[f4ab0fd]60 <segtitle>Installed programs</segtitle>
61 <segtitle>Installed libraries</segtitle>
[61ad0b7f]62 <segtitle>Installed directories</segtitle>
[9470388]63
64 <seglistitem>
[2b220db9]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>
[9470388]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
[47baed6]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
[2b220db9]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
[9470388]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">
[f4ab0fd]112 <primary sortas="c-libppl">libppl</primary>
[9470388]113 </indexterm>
114 </listitem>
115 </varlistentry>
116
[47baed6]117 <varlistentry id="libppl_c">
[9470388]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">
[f4ab0fd]122 <primary sortas="c-libppl_c">libppl_c</primary>
[9470388]123 </indexterm>
124 </listitem>
125 </varlistentry>
126
[47baed6]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">
[f4ab0fd]132 <primary sortas="c-libpwl">libpwl</primary>
[47baed6]133 </indexterm>
134 </listitem>
135 </varlistentry>
136
[9470388]137 </variablelist>
138
139 </sect2>
140
141</sect1>
Note: See TracBrowser for help on using the repository browser.