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 | &env-target; |
---|
28 | |
---|
29 | <sect2 role="installation"> |
---|
30 | <title>Installation of PPL</title> |
---|
31 | |
---|
32 | <para os="a">Prepare PPL for compilation:</para> |
---|
33 | |
---|
34 | <screen os="b"><userinput>CPPFLAGS=-fexceptions \ |
---|
35 | ./configure --prefix=/usr \ |
---|
36 | --build=${CLFS_HOST} --host=${CLFS_TARGET} \ |
---|
37 | --with-libgmp-prefix=${CLFS}/usr \ |
---|
38 | --with-libgmpxx-prefix=${CLFS}/usr \ |
---|
39 | --enable-shared</userinput></screen> |
---|
40 | |
---|
41 | <para os="c">Compile the package:</para> |
---|
42 | |
---|
43 | <screen os="d"><userinput>make</userinput></screen> |
---|
44 | |
---|
45 | <para os="h">Install the package:</para> |
---|
46 | |
---|
47 | <screen os="i"><userinput>make DESTDIR=${CLFS} install</userinput></screen> |
---|
48 | |
---|
49 | <para os="j">At this time, Libtool does not support searching a sysroot |
---|
50 | for libraries. Leaving the .la files in place will cause Libtool to look |
---|
51 | in the wrong place for libraries. These files are not required for |
---|
52 | linking on Linux. Remove them with the following command:</para> |
---|
53 | |
---|
54 | <screen os="k"><userinput>rm -v ${CLFS}/usr/lib/lib{ppl,ppl_c,pwl}.la</userinput></screen> |
---|
55 | |
---|
56 | </sect2> |
---|
57 | |
---|
58 | <sect2 id="contents-ppl" role="content"> |
---|
59 | <title>Contents of PPL</title> |
---|
60 | |
---|
61 | <segmentedlist> |
---|
62 | <segtitle>Installed Programs</segtitle> |
---|
63 | <segtitle>Installed Libraries</segtitle> |
---|
64 | |
---|
65 | <seglistitem> |
---|
66 | <seg>ppl-config, ppl_lcdd</seg> |
---|
67 | <seg>libppl.[a,so], libppl_c.[a,so], libpwl.[a,so]</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="b-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="b-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="b-libpwl">libpwl</primary> |
---|
123 | </indexterm> |
---|
124 | </listitem> |
---|
125 | </varlistentry> |
---|
126 | |
---|
127 | </variablelist> |
---|
128 | |
---|
129 | </sect2> |
---|
130 | |
---|
131 | </sect1> |
---|