[Bug bootstrap/53583] gcc 4.6.2 build issue..

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53583

--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-06-06 
08:51:08 UTC ---
The linked PRs say you need both 32-bit and 64-bit gmp, not only one or the
other.