Add isl
[hvlinux.git] / stage0 / packages-update
index f3d668d..5951e96 100755 (executable)
@@ -23,6 +23,7 @@ fpkg -m gnu ${NCURSES}
 fpkg -m gnu ${GMP}
 fpkg -m gnu ${MPFR}
 fpkg -e "tar.gz" ${MPC} "http://www.multiprecision.org/mpc/download"
+fpkg ${ISL} "http://isl.gforge.inria.fr"
 fpkg -e "tar.gz" ${CLOOG} "http://www.bastoul.net/cloog/pages/download"
 fpkg -e "tar.bz2" -m gnu ${BINUTILS}
 fpkg -m gnu -s "gcc/${GCC}" ${GCC}