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

<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE sect1 PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
  "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
  <!ENTITY % general-entities SYSTEM "../../general.ent">
  %general-entities;
]>

<sect1 id="ch-system-ppl" role="wrap">
  <?dbhtml filename="ppl.html"?>

  <title>PPL-&ppl-version;</title>

  <indexterm zone="ch-system-ppl">
    <primary sortas="a-PPL">PPL</primary>
    <secondary>temporary system</secondary>
  </indexterm>

  <sect2 role="package">
    <title/>

        <para>The Parma Polyhedra Library (PPL) provides numerical abstractions
    especially targeted at applications in the field of analysis and
    verification of complex systems.  CLooG-PPL requires this library.</para>

  </sect2>

  <sect2 role="installation">
    <title>Installation of PPL</title>

    <para os="a">Prepare PPL for compilation:</para>

<screen os="b"><userinput>CC="gcc -isystem /usr/include" LDFLAGS="-Wl,-rpath-link,/lib" \
    ./configure --prefix=/usr --enable-shared --with-libgmp-prefix=/usr \
    --with-libgmpxx-prefix=/usr</userinput></screen>

    <para os="c">Compile the package:</para>

<screen os="d"><userinput>make</userinput></screen>

    <important os="e">
      <para>The test suite for PPL is considered
      critical. Do not skip it under any circumstance.</para>
    </important>

    <para os="f">Test the results:</para>

<screen os="g"><userinput>make check</userinput></screen>

    <para os="h">Install the package:</para>

<screen os="i"><userinput>make install</userinput></screen>

  </sect2>

  <sect2 id="contents-ppl" role="content">
    <title>Contents of PPL</title>

    <segmentedlist>
      <segtitle>Installed Programs</segtitle>
      <segtitle>Installed Libraries</segtitle>

      <seglistitem>
        <seg>ppl-config, ppl_lcdd</seg>
        <seg>libppl.[a,so], libppl_c.[a,so], libpwl.[a,so]</seg>
      </seglistitem>
    </segmentedlist>

    <variablelist>
      <bridgehead renderas="sect3">Short Descriptions</bridgehead>
      <?dbfo list-presentation="list"?>
      <?dbhtml list-presentation="table"?>

      <varlistentry id="ppl-config">
        <term><command>ppl-config</command></term>
        <listitem>
          <para>Outputs information about the PPL installation</para>
          <indexterm zone="ch-system-ppl ppl-config">
            <primary sortas="b-ppl-config">ppl-config</primary>
          </indexterm>
        </listitem>
      </varlistentry>

      <varlistentry id="ppl_lcdd">
        <term><command>ppl_lcdd</command></term>
        <listitem>
          <para>Reads an H-representation of a polyhedron and generates a
          V-representation of the same polyhedron</para>
          <indexterm zone="ch-system-ppl ppl_lcdd">
            <primary sortas="b-ppl_lcdd">ppl_lcdd</primary>
          </indexterm>
        </listitem>
      </varlistentry>

      <varlistentry id="libppl">
        <term><filename class="libraryfile">libppl</filename></term>
        <listitem>
          <para>The Parma Polyhedra Library (PPL).</para>
          <indexterm zone="ch-system-ppl libppl">
            <primary sortas="b-libppl">libppl</primary>
          </indexterm>
            </listitem>
      </varlistentry>

      <varlistentry id="libppl_c">
        <term><filename class="libraryfile">libppl_c</filename></term>
        <listitem>
          <para>The Parma Polyhedra Library bindings for C.</para>
          <indexterm zone="ch-system-ppl libppl_c">
            <primary sortas="b-libppl_c">libppl_c</primary>
          </indexterm>
        </listitem>
      </varlistentry>

      <varlistentry id="libpwl">
        <term><filename class="libraryfile">libpwl</filename></term>
        <listitem>
          <para>The Parma Watchdog Library</para>
          <indexterm zone="ch-system-ppl libpwl">
            <primary sortas="b-libpwl">libpwl</primary>
          </indexterm>
        </listitem>
      </varlistentry>

    </variablelist>

  </sect2>

</sect1>