Re: [Patch, Contrib] Download ISL 0.15 by download_prerequisites

2015-12-04 Thread Sebastian Pop
LGTM. Thanks! Tobias Burnus wrote: > If there are no objections, I intent to commit the following patch > tomorrow as obvious. > > Tobias > > On Tue, Oct 27, 2015 at 11:27:41AM +0100, Tobias Burnus wrote: > > recently, support for ISL 0.15 was added to GCC and also > > ftp://gcc.gnu.org/pub/gcc

Re: [Patch, Contrib] Download ISL 0.15 by download_prerequisites

2015-12-04 Thread Tobias Burnus
If there are no objections, I intent to commit the following patch tomorrow as obvious. Tobias On Tue, Oct 27, 2015 at 11:27:41AM +0100, Tobias Burnus wrote: > recently, support for ISL 0.15 was added to GCC and also > ftp://gcc.gnu.org/pub/gcc/infrastructure/ now contains ISL 0.15. > > Hence, t

[Patch, Contrib] Download ISL 0.15 by download_prerequisites

2015-10-27 Thread Tobias Burnus
Hi all, recently, support for ISL 0.15 was added to GCC and also ftp://gcc.gnu.org/pub/gcc/infrastructure/ now contains ISL 0.15. Hence, there is no reason not to download the newest version by download_prerequisites. OK for the trunk? (One could also add it to GCC 5 as the ISL 0.15 patches land