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

clfs-1.2clfs-2.1clfs-3.0.0-systemdclfs-3.0.0-sysvinitsystemdsysvinit
Last change on this file since fddcf74 was fddcf74, checked in by Joe Ciccone <jciccone@…>, 11 years ago

Fix compilation errors with ppl in the final system on multilib by dropping the --with-gmp args. GMP is a required dep, if it doesn't fine it, it will error. Passing the --with-gmp-prefix args cause it to look at /usr/lib/libgmp.so only. Which will cause n32 and 64 bit multilib builds to fail.

  • 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>CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include" \
33    CXX="g++ -isystem /usr/include" \
34    LDFLAGS="-Wl,-rpath-link,/lib" \
35    ./configure --prefix=/usr --enable-shared</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
63      <seglistitem>
64        <seg>ppl-config, ppl_lcdd</seg>
65        <seg>libppl.[a,so], libppl_c.[a,so], libpwl.[a,so]</seg>
66      </seglistitem>
67    </segmentedlist>
68
69    <variablelist>
70      <bridgehead renderas="sect3">Short Descriptions</bridgehead>
71      <?dbfo list-presentation="list"?>
72      <?dbhtml list-presentation="table"?>
73
74      <varlistentry id="ppl-config">
75        <term><command>ppl-config</command></term>
76        <listitem>
77          <para>Outputs information about the PPL installation</para>
78          <indexterm zone="ch-system-ppl ppl-config">
79            <primary sortas="b-ppl-config">ppl-config</primary>
80          </indexterm>
81        </listitem>
82      </varlistentry>
83
84      <varlistentry id="ppl_lcdd">
85        <term><command>ppl_lcdd</command></term>
86        <listitem>
87          <para>Reads an H-representation of a polyhedron and generates a
88          V-representation of the same polyhedron</para>
89          <indexterm zone="ch-system-ppl ppl_lcdd">
90            <primary sortas="b-ppl_lcdd">ppl_lcdd</primary>
91          </indexterm>
92        </listitem>
93      </varlistentry>
94
95      <varlistentry id="libppl">
96        <term><filename class="libraryfile">libppl</filename></term>
97        <listitem>
98          <para>The Parma Polyhedra Library (PPL).</para>
99          <indexterm zone="ch-system-ppl libppl">
100            <primary sortas="b-libppl">libppl</primary>
101          </indexterm>
102            </listitem>
103      </varlistentry>
104
105      <varlistentry id="libppl_c">
106        <term><filename class="libraryfile">libppl_c</filename></term>
107        <listitem>
108          <para>The Parma Polyhedra Library bindings for C.</para>
109          <indexterm zone="ch-system-ppl libppl_c">
110            <primary sortas="b-libppl_c">libppl_c</primary>
111          </indexterm>
112        </listitem>
113      </varlistentry>
114
115      <varlistentry id="libpwl">
116        <term><filename class="libraryfile">libpwl</filename></term>
117        <listitem>
118          <para>The Parma Watchdog Library</para>
119          <indexterm zone="ch-system-ppl libpwl">
120            <primary sortas="b-libpwl">libpwl</primary>
121          </indexterm>
122        </listitem>
123      </varlistentry>
124
125    </variablelist>
126
127  </sect2>
128
129</sect1>
Note: See TracBrowser for help on using the repository browser.