[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 #4 from Jonathan Wakely <redi at gcc dot gnu.org> ---
You could try building without ISL.