Add isl

[hvlinux.git] / stage0 / hv-install-2

diff --git a/stage0/hv-install-2 b/stage0/hv-install-2
index ef76fbd..c7ee293 100755 (executable)
--- a/stage0/hv-install-2
+++ b/stage0/hv-install-2
@@ -33,6 +33,10 @@ ipkg ${MPC} "\
     --with-gmp=/cross-tools \
     --with-mpfr=/cross-tools"
 
+ipkg ${ISL} "\
+    --disable-static \
+    --with-gmp-prefix=/cross-tools"
+
 ipkg ${CLOOG} "\
     --enable-shared \
     --disable-static \