On Fri, Sep 4, 2015 at 12:42 AM, VandeVondele Joost <joost.vandevond...@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
