gcc isl: update

cloog is no longer required to build gcc.

index.html

@@ -1210,10 +1210,6 @@ <h2 id="packages">List of Packages</h2>
         <td class="package">chromaprint</td>
         <td class="website"><a href="http://acoustid.org/chromaprint">Chromaprint</a></td>
     </tr>
-    <tr>
-        <td class="package">cloog</td>
-        <td class="website"><a href="http://www.cloog.org/">CLooG Code Generator</a></td>
-    </tr>
     <tr>
         <td class="package">cmake</td>
         <td class="website"><a href="http://www.cmake.org/">cmake</a></td>
@@ -1345,10 +1341,6 @@ <h2 id="packages">List of Packages</h2>
         <td class="package">gcc</td>
         <td class="website"><a href="http://gcc.gnu.org/">GCC</a></td>
     </tr>
-    <tr>
-        <td class="package">gcc-cloog</td>
-        <td class="website"><a href="http://www.cloog.org/">CLooG for GCC</a></td>
-    </tr>
     <tr>
         <td class="package">gcc-gmp</td>
         <td class="website"><a href="http://www.gmplib.org/">GMP for GCC</a></td>

src/gcc.mk

@@ -3,13 +3,13 @@
 
 PKG             := gcc
 $(PKG)_IGNORE   :=
-$(PKG)_VERSION  := 4.9.2
-$(PKG)_CHECKSUM := 79dbcb09f44232822460d80b033c962c0237c6d8
+$(PKG)_VERSION  := 5.1.0
+$(PKG)_CHECKSUM := b6c947b09adf780fe02065d0c48bfd7b4bdddfa3
 $(PKG)_SUBDIR   := gcc-$($(PKG)_VERSION)
 $(PKG)_FILE     := gcc-$($(PKG)_VERSION).tar.bz2
 $(PKG)_URL      := http://ftp.gnu.org/pub/gnu/gcc/gcc-$($(PKG)_VERSION)/$($(PKG)_FILE)
 $(PKG)_URL_2    := ftp://ftp.mirrorservice.org/sites/sourceware.org/pub/gcc/releases/gcc-$($(PKG)_VERSION)/$($(PKG)_FILE)
-$(PKG)_DEPS     := binutils gcc-cloog gcc-gmp gcc-isl gcc-mpc gcc-mpfr mingw-w64
+$(PKG)_DEPS     := binutils gcc-gmp gcc-isl gcc-mpc gcc-mpfr mingw-w64
 
 define $(PKG)_UPDATE
     $(WGET) -q -O- 'http://ftp.gnu.org/gnu/gcc/?C=M;O=D' | \
@@ -38,7 +38,6 @@ define $(PKG)_CONFIGURE
         --disable-win32-registry \
         --enable-threads=win32 \
         --disable-libgomp \
-        --with-cloog='$(PREFIX)' \
         --with-gmp='$(PREFIX)' \
         --with-isl='$(PREFIX)' \
         --with-mpc='$(PREFIX)' \

src/isl.mk

@@ -3,8 +3,8 @@
 
 PKG             := isl
 $(PKG)_IGNORE   :=
-$(PKG)_VERSION  := 0.12.2
-$(PKG)_CHECKSUM := ca98a91e35fb3ded10d080342065919764d6f928
+$(PKG)_VERSION  := 0.14
+$(PKG)_CHECKSUM := b09e25df265c97ed54002cd811d227a9a26c5f9c
 $(PKG)_SUBDIR   := $(PKG)-$($(PKG)_VERSION)
 $(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.bz2
 $(PKG)_URL      := http://isl.gforge.inria.fr/$($(PKG)_FILE)