From f5d5b88fe59d8689344cc64b33e7e7c2b7a7ba70 Mon Sep 17 00:00:00 2001
From: Tobias Burnus <burnus@net-b.de>
Date: Tue, 2 Dec 2014 23:41:01 +0100
Subject: [PATCH] download_prerequisites: Download ISL 0.14 instead of 0.12.2.

2014-12-02  Tobias Burnus  <burnus@net-b.de>

        * download_prerequisites: Download ISL 0.14 instead of 0.12.2.

From-SVN: r218294
---
 contrib/ChangeLog              | 4 ++++
 contrib/download_prerequisites | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/contrib/ChangeLog b/contrib/ChangeLog
index 77bad5a9cff2..e5ccfe566d0d 100644
--- a/contrib/ChangeLog
+++ b/contrib/ChangeLog
@@ -1,3 +1,7 @@
+2014-12-02  Tobias Burnus  <burnus@net-b.de>
+
+	* download_prerequisites: Download ISL 0.14 instead of 0.12.2.
+
 2014-11-25  Tom de Vries  <tom@codesourcery.com>
 	    Peter Bergner  <bergner@vnet.ibm.com>
 
diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites
index a9a9f029af64..50acbf57e0a3 100755
--- a/contrib/download_prerequisites
+++ b/contrib/download_prerequisites
@@ -43,7 +43,7 @@ ln -sf $MPC mpc || exit 1
 
 # Necessary to build GCC with the Graphite loop optimizations.
 if [ "$GRAPHITE_LOOP_OPT" = "yes" ] ; then
-  ISL=isl-0.12.2
+  ISL=isl-0.14
 
   wget ftp://gcc.gnu.org/pub/gcc/infrastructure/$ISL.tar.bz2 || exit 1
   tar xjf $ISL.tar.bz2  || exit 1
-- 
GitLab