Add isl

diff --git a/config/packages-list b/config/packages-list
index 95789fde40b4977fff8ffce270d5c27e4b8b5ff4..5a5ae3c7d46eab586d717477ab9df601cc9f6f66 100644 (file)
--- a/config/packages-list
+++ b/config/packages-list
@@ -180,6 +180,7 @@ INTLTOOL="intltool-0.50.2"
 IPROUTE2="iproute2-3.3.0"
 IPTABLES="iptables-1.4.15"
 ISO_CODES="iso-codes-3.38"
+ISL="isl-0.12.2"
 ITSTOOL="itstool-2.0.2"
 
 JACK="jack-audio-connection-kit-0.121.3"

diff --git a/stage0/hv-install-2 b/stage0/hv-install-2
index ef76fbd7877184e2976e078622e5f126d5c2eadc..c7ee29339c818138fb12a58e8c58f8cab7c5daa3 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 \

diff --git a/stage0/packages-update b/stage0/packages-update
index f3d668d2af96b6526469f600fa3a987993174fbb..5951e96e85c7e6687f9bbde6799c74ffe5f53523 100755 (executable)
--- a/stage0/packages-update
+++ b/stage0/packages-update
@@ -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}

diff --git a/stage0/pkg/gcc b/stage0/pkg/gcc
index 0fd67956487549297f413e653bc94d69ccba9962..c2717d0de17e1f3957ee4569fd2359f6d63c0402 100644 (file)
--- a/stage0/pkg/gcc
+++ b/stage0/pkg/gcc
@@ -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

diff --git a/stage1/hv-install-2 b/stage1/hv-install-2
index cc51073c62217c8a137ea6897779a1e8fb16ca6d..b60c8a798b4339b9aac9dd77e3ef90f2182d9714 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"

diff --git a/stage1/packages-update b/stage1/packages-update
index 1fec25d5404805d5ca81b9c1e797dd10247c9541..f8e3ffe87e8ea01a8ca2307f66e9d04dca324735 100755 (executable)
--- a/stage1/packages-update
+++ b/stage1/packages-update
@@ -12,6 +12,7 @@ update_packages_init ${*}
 lpkg 0 ${GMP}
 lpkg 0 ${MPFR}
 lpkg 0 ${MPC}
+lpkg 0 ${ISL}
 lpkg 0 ${CLOOG}
 lpkg 0 ${BINUTILS}
 lpkg 0 ${GCC}

diff --git a/stage1/pkg/gcc b/stage1/pkg/gcc
index 06f70f51601b6b00214307896bf6e4226010dc65..11a2837ef18569a5a5c479d7e9e19106f73e0b82 100644 (file)
--- a/stage1/pkg/gcc
+++ b/stage1/pkg/gcc
@@ -34,7 +34,7 @@ hvconfig_post()
 {
     # Prevent GCC from looking in the wrong directories for headers and
     # libraries:
-    sed -e "/^HOST_\(GMP\|CLOOG\)\(LIBS\|INC\)/s:-[IL]/\(lib\|include\)::" \
+    sed -e "/^HOST_\(GMP\|ISL\|CLOOG\)\(LIBS\|INC\)/s:-[IL]/\(lib\|include\)::"\
         -i Makefile
 }
 

diff --git a/stage2/hv-install-1 b/stage2/hv-install-1
index 61e61386bdb3c7dfed7d281d65c3389c6c2ca12b..678137137e2d28caa95660a57cbe57a8625fc673 100755 (executable)
--- a/stage2/hv-install-1
+++ b/stage2/hv-install-1
@@ -23,6 +23,7 @@ CPPFLAGS=-fexceptions \
     ipkg ${GMP} "--enable-cxx --enable-mpbsd"
 ipkg ${MPFR} "--enable-shared --with-gmp=/usr"
 ipkg ${MPC}
+ipkg ${ISL}
 ipkg ${CLOOG} "--enable-shared"
 
 unset CC

diff --git a/stage2/packages-update b/stage2/packages-update
index d478a2bbaa9d06eccb55e8040dc4112694cfaddd..7bb8a8ad24047da2c872587597ef54b4e9ebdf09 100755 (executable)
--- a/stage2/packages-update
+++ b/stage2/packages-update
@@ -14,6 +14,7 @@ lpkg 0 ${GLIBC}
 lpkg 0 ${GMP}
 lpkg 0 ${MPFR}
 lpkg 0 ${MPC}
+lpkg 0 ${ISL}
 lpkg 0 ${CLOOG}
 lpkg 0 ${BINUTILS}
 lpkg 0 ${GCC}