[Bug bootstrap/65988] Trying to compile GCC 5.1 in my (customized) Solaris 10/x86-64 fails with GMP errors

[redi at gcc dot gnu.org]

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

--- Comment #8 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Jesus Cea from comment #7)
> I close this but report, but I would love future GCC releases to document
> what CLOOG and ISL versions they require.

It already does, see gcc/doc/install.texi in the source tarball.