Add isl
[hvlinux.git] / stage0 / pkg / gcc
index 0fd6795..c2717d0 100644 (file)
@@ -15,8 +15,8 @@ hvconfig_pre()
         --disable-nls \
         --with-mpfr=/cross-tools \
         --with-gmp=/cross-tools \
+        --with-isl=/cross-tools \
         --with-cloog=/cross-tools \
-        --enable-cloog-backend=isl \
         --disable-multilib"
 
     if [ "x${HVLABEL}" = "x${GCC}-pass1" ]; then