Add isl

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

diff --git a/stage1/hv-install-2 b/stage1/hv-install-2
index cc51073..b60c8a7 100755 (executable)
--- a/stage1/hv-install-2
+++ b/stage1/hv-install-2
@@ -12,6 +12,7 @@ HOST_CC=gcc CPPFLAGS=-fexceptions \
     ipkg ${GMP} "--enable-cxx"
 ipkg ${MPFR} "--enable-shared"
 ipkg ${MPC}
+ipkg ${ISL}
 ipkg ${CLOOG} "\
     --enable-shared \
     --with-gmp=/tools"