Add isl

[hvlinux.git] / stage0 / pkg / gcc

diff --git a/stage0/pkg/gcc b/stage0/pkg/gcc
index 1877e7c..c2717d0 100644 (file)
--- a/stage0/pkg/gcc
+++ b/stage0/pkg/gcc
@@ -15,9 +15,8 @@ hvconfig_pre()
         --disable-nls \
         --with-mpfr=/cross-tools \
         --with-gmp=/cross-tools \
-        --with-ppl=/cross-tools \
+        --with-isl=/cross-tools \
         --with-cloog=/cross-tools \
-        --enable-cloog-backend=isl \
         --disable-multilib"
 
     if [ "x${HVLABEL}" = "x${GCC}-pass1" ]; then
@@ -31,6 +30,11 @@ hvconfig_pre()
             --disable-libssp \
             --disable-threads \
             --enable-languages=c"
+
+        # We will create a dummy limits.h so the build will not use the one
+        # provided by the host distro:
+        mkdir -p /tools/include
+        touch /tools/include/limits.h
     else
         CONFIGURE_OPTS+=" \
             --enable-shared \
@@ -52,12 +56,6 @@ hvconfig_pre()
     # only:
     sed -e "s@\(^CROSS_SYSTEM_HEADER_DIR =\).*@\1 /tools/include@g" \
         -i gcc/Makefile.in
-
-    if [ "x${HVLABEL}" = "x${GCC}-pass1" ]; then
-        # We will create a dummy limits.h so the build will not use the one
-        # provided by the host distro:
-        touch /tools/include/limits.h
-    fi
 }
 
 hvconfig_post()