https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61792
--- Comment #10 from Manfred Schwarb <manfred99 at gmx dot ch> --- 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.
