On 2017.09.18 at 09:41 +0200, Richard Biener wrote:
>
> Committed.
>
> Richard.
>
> 2017-09-18 Richard Biener
>
> * 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
Date: Mon Sep 18 11:25:13 2017 +
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