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. :-(