https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68560

--- Comment #16 from Mikael Morin <mikael at gcc dot gnu.org> ---
(In reply to Mikael Morin from comment #15)
> (In reply to Dominique d'Humieres from comment #12)
> > > Looks like it's PR68540.
> > 
> > So it should work now?
> > 
> I have yet to find the best way to install isl-0.15 without polluting my
> distribution with freestanding unmanaged files.
> Then I can come back to this bug (or any other).

Done, bootstrap broken with 0.15 as well. :-(

Reply via email to