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.

Reply via email to