--disable-optimization \
--with-libgmp-prefix=/cross-tools \
--with-libgmpxx-prefix=/cross-tools"
-ipkg ${CLOOG_PPL} "\
+ipkg ${CLOOG} "\
--enable-shared \
--with-bits=gmp \
- --with-gmp=/cross-tools \
- --with-ppl=/cross-tools"
+ --with-gmp=/cross-tools"
LDFLAGS=""