[76b06f6] | 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,/usr/lib:/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, ppl_pips</seg> |
---|
| 66 | <seg>libppl.[a,so], libppl_c.[a,so]</seg> |
---|
| 67 | <seg>/usr/share/doc/ppl</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="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 | |
---|
| 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"> |
---|
| 112 | <primary sortas="c-libppl">libppl</primary> |
---|
| 113 | </indexterm> |
---|
| 114 | </listitem> |
---|
| 115 | </varlistentry> |
---|
| 116 | |
---|
| 117 | <varlistentry id="libppl_c"> |
---|
| 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"> |
---|
| 122 | <primary sortas="c-libppl_c">libppl_c</primary> |
---|
| 123 | </indexterm> |
---|
| 124 | </listitem> |
---|
| 125 | </varlistentry> |
---|
| 126 | |
---|
| 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"> |
---|
| 132 | <primary sortas="c-libpwl">libpwl</primary> |
---|
| 133 | </indexterm> |
---|
| 134 | </listitem> |
---|
| 135 | </varlistentry> |
---|
| 136 | |
---|
| 137 | </variablelist> |
---|
| 138 | |
---|
| 139 | </sect2> |
---|
| 140 | |
---|
| 141 | </sect1> |
---|