- --with-gmp=/cross-tools \
- --with-mpfr=/cross-tools"
-ipkg ${PPL} "\
- --enable-shared \
- --enable-interfaces=c,cxx \
- --disable-optimization \
- --with-libgmp-prefix=/cross-tools \
- --with-libgmpxx-prefix=/cross-tools"
-ipkg ${CLOOG_PPL} "\
- --enable-shared \
+ --disable-static \
+ --with-gmp=${CROSS_TOOLS_DIR} \
+ --with-mpfr=${CROSS_TOOLS_DIR}"
+
+ipkg ${ISL} "\
+ --disable-static \
+ --with-gmp-prefix=${CROSS_TOOLS_DIR}"
+
+ipkg ${CLOOG} "\
+ --disable-static \