# PPL-&ppl-version;

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.

## Installation of PPL

Prepare PPL for compilation:

    CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include" \
    CXX="g++ -isystem /usr/include" \
    LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
      ./configure --prefix=/usr --enable-shared \
        --disable-optimization

Compile the package:

    make

The test suite for PPL is considered critical. Do not skip it under any circumstance.

Test the results:

    make check

Install the package:

    make install

## Contents of PPL

Installed programs Installed libraries Installed directories
- ppl-config, ppl_lcdd libppl.[a,so], libppl_c.[a,so], libpwl.[a,so] /usr/share/doc/ppl, /usr/share/doc/pwl

Short Descriptions

`ppl-config`

- Outputs information about the PPL installation

`ppl_lcdd`

- Reads an H-representation of a polyhedron and generates a V-representation of the same polyhedron

`libppl`

- The Parma Polyhedra Library (PPL).

`libppl_c`

- The Parma Polyhedra Library bindings for C.

`libpwl`

- The Parma Watchdog Library