[PATCH] Bump downloaded ISL version to 0.18

[Markus Trippelsdorf]

On 2017.09.18 at 09:41 +0200, Richard Biener wrote:
> 
> Committed.
> 
> Richard.
> 
> 2017-09-18  Richard Biener  <rguenther@suse.de>
> 
> 	* download_prerequisites (isl): Bump version to 0.18.
> 
> Index: contrib/download_prerequisites
> ===================================================================
> --- contrib/download_prerequisites	(revision 252906)
> +++ contrib/download_prerequisites	(working copy)
> @@ -30,7 +30,7 @@ version='(unversioned)'
>  gmp='gmp-6.1.0.tar.bz2'
>  mpfr='mpfr-3.1.4.tar.bz2'
>  mpc='mpc-1.0.3.tar.gz'
> -isl='isl-0.16.1.tar.bz2'
> +isl='isl-0.18.tar.bz2'

As an obvious follow-up, I've updated the checksums:

commit 076d07cde56c0da62036f3bdd440fa5a160d5f6b
Author: trippels <trippels@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Mon Sep 18 11:25:13 2017 +0000

    Update checksums for isl-0.18.tar.bz2
    
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@252921 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/contrib/prerequisites.md5 b/contrib/prerequisites.md5
index b8e89d43c8a8..cc71e0f4de68 100644
--- a/contrib/prerequisites.md5
+++ b/contrib/prerequisites.md5
@@ -1,4 +1,4 @@
 86ee6e54ebfc4a90b643a65e402c4048  gmp-6.1.0.tar.bz2
 b8a2f6b0e68bef46e53da2ac439e1cf4  mpfr-3.1.4.tar.bz2
 d6a1d5f8ddea3abd2cc3e98f58352d26  mpc-1.0.3.tar.gz
-ac1f25a0677912952718a51f5bc20f32  isl-0.16.1.tar.bz2
+11436d6b205e516635b666090b94ab32  isl-0.18.tar.bz2
diff --git a/contrib/prerequisites.sha512 b/contrib/prerequisites.sha512
index 808970778c74..cf6b93b8d6b8 100644
--- a/contrib/prerequisites.sha512
+++ b/contrib/prerequisites.sha512
@@ -1,4 +1,4 @@
 3c82aeab9c1596d4da8afac2eec38e429e84f3211e1a572cf8fd2b546493c44c039b922a1133eaaa48bd7f3e11dbe795a384e21ed95cbe3ecc58d7ac02246117  gmp-6.1.0.tar.bz2
 51066066ff2c12ed2198605ecf68846b0c96b548adafa5b80e0c786d0df488411a5e8973358fce7192dc977ad4e68414cf14500e3c39746de62465eb145bb819  mpfr-3.1.4.tar.bz2
 0028b76df130720c1fad7de937a0d041224806ce5ef76589f19c7b49d956071a683e2f20d154c192a231e69756b19e48208f2889b0c13950ceb7b3cfaf059a43  mpc-1.0.3.tar.gz
-c188667a84dc5bdddb4ab7c35f89c91bf15a8171f4fcaf41301cf285fb7328846d9a367c096012fec4cc69d244f0bc9e95d84c09ec097394cd4093076f2a041b  isl-0.16.1.tar.bz2
+85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94  isl-0.18.tar.bz2

-- 
Markus