10.12. PPL-0.12.1

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.

10.12.1. 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
[Important]

Important

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

10.12.2. Contents of PPL

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

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

ppl_pips

A PPL-based parametric integer programming problem solver

libppl

The Parma Polyhedra Library (PPL).

libppl_c

The Parma Polyhedra Library bindings for C.

libpwl

The Parma Watchdog Library