%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 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: rm -v ${CLFS}/usr/lib/lib{ppl,ppl_c,pwl}.la 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