source: clfs-sysroot/BOOK/final-system/common/ppl.xml

<?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>

  &env-target;

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

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

<screen os="b"><userinput>CPPFLAGS=-fexceptions \
    ./configure --prefix=/usr \
    --build=${CLFS_HOST} --host=${CLFS_TARGET} \
    --with-libgmp-prefix=${CLFS}/usr \
    --with-libgmpxx-prefix=${CLFS}/usr \
    --enable-shared --disable-optimization \
    --enable-check=quick</userinput></screen>

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

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

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

<screen os="i"><userinput>make DESTDIR=${CLFS} install</userinput></screen>

    <para os="j">At this time, Libtool does not support searching a sysroot
    for libraries. Leaving the .la files in place will cause Libtool to look
    in the wrong place for libraries. These files are not required for
    linking on Linux. Remove them with the following command:</para>

<screen os="k"><userinput>rm -v ${CLFS}/usr/lib/lib{ppl,ppl_c,pwl}.la</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>