On Thu, Dec 4, 2014 at 2:01 PM, Tobias Burnus <tobias.bur...@physik.fu-berlin.de> wrote: > On Thu, Dec 04, 2014 at 12:30:39PM +0100, Richard Biener wrote: >> > OK for the 4.9 branch? >> I think for a system 0.14 ISL build which I just checked you need to >> adjust the ISL version check as well. > > Confirmed. Using additionally the following patch survives bootstrapping > here with > --with-isl=/dev/shm/isl-14-inst > and > checking for version 0.14 of ISL... yes > > The other libraries (gmp, mpfr, mpc, cloog) were built in tree. > > As I again (similarly to the trunk) had a race condition (this time, > an in-tree MPC wasn't there in time for gcc's configure check), I have > also updated Makefile.def, using my patch from the trunk (+ adding cloog > dependency, just to make sure). > > > Is the patch OK together with the previous one?
Yes. Thanks, Richard. > Tobias