%general-entities; ]> PPL temporary system Prepare PPL for compilation: CC="gcc -isystem /usr/include" LDFLAGS="-Wl,-rpath-link,/lib" \ ./configure --prefix=/usr --enable-shared --with-libgmp-prefix=/usr \ --with-libgmpxx-prefix=/usr 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 Installed Programs Installed Libraries ppl-config, ppl_lcdd libppl.[a,so], libppl_c.[a,so], libpwl.[a,so] Short Descriptions ppl-config Outputs information about the PPL installation ppl-config ppl_lcdd Reads an H-representation of a polyhedron and generates a V-representation of the same polyhedron ppl_lcdd libppl The Parma Polyhedra Library (PPL). libppl libppl_c The Parma Polyhedra Library bindings for C. libppl_c libpwl The Parma Watchdog Library libpwl