[PATCH] select isl-0.15 in download_prerequisites

[Sebastian Pop]

On Fri, Sep 4, 2015 at 12:42 AM, VandeVondele  Joost
<joost.vandevondele@mat.ethz.ch> wrote:
> For the recent fix of PR53852, isl-0.15 is needed,

I just went to the documentation of isl-0.14 and I see that it also
provides the functionality to count the number of isl operations:
isl_ctx_get_max_operations().

isl-0.12.2 does not provide this functionality.

> 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 ?

I think it is fine to bump the default version of isl to be downloaded
by default.
Are there other reviewers who would oppose committing this patch?

Thanks,
Sebastian