Re: Switch to ISL 0.16.1

2016-06-13 Thread Richard Biener
On Sun, 12 Jun 2016, Gerald Pfeifer wrote: > Hi Richi, > > On Mon, 15 Feb 2016, Richard Biener wrote: > > the following patch switches download_prerequesites to use ISL 0.16.1 > > (just put that into infrastructure/). > > > > I've verified it works for me (on the gcc-5 branch and trunk). > > >

Re: Switch to ISL 0.16.1

2016-06-12 Thread Gerald Pfeifer
Hi Richi, On Mon, 15 Feb 2016, Richard Biener wrote: > the following patch switches download_prerequesites to use ISL 0.16.1 > (just put that into infrastructure/). > > I've verified it works for me (on the gcc-5 branch and trunk). > > Ok? I did not see any responses, nor the patch committed, a

Switch to ISL 0.16.1

2016-02-15 Thread Richard Biener
Hi, the following patch switches download_prerequesites to use ISL 0.16.1 (just put that into infrastructure/). I've verified it works for me (on the gcc-5 branch and trunk). Ok? Thanks, Richard. Index: contrib/download_prerequisites ===