-ipkg ${PPL} "\
- --enable-shared \
- --enable-interfaces=c,cxx \
- --disable-optimization \
- --with-libgmp-prefix=/tools \
- --with-libgmpxx-prefix=/tools"
-ipkg ${CLOOG_PPL} "\
- --enable-shared \
- --with-bits=gmp \
- --with-gmp=/tools \
- --with-ppl=/tools"