%general-entities; ]> PPL temporary system Prepare PPL for compilation: CPPFLAGS=-fexceptions \ ./configure --prefix=/usr \ --build=${CLFS_HOST} --host=${CLFS_TARGET} \ --with-libgmp-prefix=${CLFS}/usr \ --with-libgmpxx-prefix=${CLFS}/usr \ --enable-shared Compile the package: make Install the package: make DESTDIR=${CLFS} 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