https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61792
--- Comment #11 from Tobias Grosser <grosser at gcc dot gnu.org> --- (In reply to Manfred Schwarb from comment #10) > Dominique, you are right. > The issue is not with isl-0.12 and isl-0.13. > > It is isl-0.11 that is missing these include files. So with the > above mentioned check-in, building GCC using isl-0.11 does no longer work. > > I just could build trunk successfully now, using isl-0.12.2. > > One should rip isl-0.11 support out of configure etc. therefore. > > > OK, I see what could have happened to Thomas: GMP support in isl > is optional. If you build isl without gmp headers being present, > then probably you wont get the needed headers to compile GCC. > So it seems isl-0.12.2 with GMP support is needed to build graphite. GMP support only became optional with the unreleased isl-0.14. graphite should build correctly with isl-0.12.2 and cloog-0.18.2. We should remove remove other versions from the configure check. Roman, is currently working on adapting configure.