[PATCH] select isl-0.15 in download_prerequisites

["VandeVondele Joost" <joost.vandevondele@mat.ethz.ch>]

[-- Attachment #1: Type: text/plain, Size: 258 bytes --]

For the recent fix of PR53852, isl-0.15 is needed, which is already available at ftp://gcc.gnu.org/pub/gcc/infrastructure/ . Thus, it seems to make sense to update the download_prerequisites script, as done with the attached patch.

OK for trunk ?

Joost

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: patch-prereq-isl.diff --]
[-- Type: text/x-patch; name="patch-prereq-isl.diff", Size: 504 bytes --]

Index: contrib/download_prerequisites
===================================================================
--- contrib/download_prerequisites	(revision 227480)
+++ contrib/download_prerequisites	(working copy)
@@ -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.14
+  ISL=isl-0.15
 
   wget ftp://gcc.gnu.org/pub/gcc/infrastructure/$ISL.tar.bz2 || exit 1
   tar xjf $ISL.tar.bz2  || exit 1

[-- Attachment #3: patch-prereq-isl-CL.txt --]
[-- Type: text/plain, Size: 123 bytes --]

contrib/ChangeLog:

2015-09-04  Joost VandeVondele  <vondele@gnu.gcc.org>

	* download_prerequisites: update to isl-0.15.