On Jul 21, 2015, at 1:32 PM, Sebastian Pop <seb...@gmail.com> wrote: > > Thanks Jeff. > > Could somebody with access to sourceware.org upload a tar.bz2 of the required > version of isl from http://isl.gforge.inria.fr/isl-0.15.tar.bz2? > > Also, once that is done, I will commit the following patch updating the > documentation.
Hold on. Is something wrong with isl-0.14? If not, then we should leave the minimum version alone (though, updating the recommended version is fine). Most of the other packages list “or later” to denote that later packages work (or are expected to work). If we do need to update to isl 0.15 for the trunk, I’d request that any patches that are needed for the gcc-5 release branch to work with isl 0.15 to work be applied to the 5 release branch first, before we update the iso version. > -@item ISL Library version 0.14 (or 0.12.2) > +@item ISL Library version 0.15
