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
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
contrib/ChangeLog:
2015-09-04 Joost VandeVondele <vond...@gnu.gcc.org>
* download_prerequisites: update to isl-0.15.
