http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53798
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-06-28 14:30:58 UTC --- Another, simpler, workaround is to build the support libs by putting the sources in the gcc source tree. --with-gmp behaves as designed and as documented. The installation docs for it clearly say: The --with-gmp=gmpinstalldir option is shorthand for --with-gmp-lib=gmpinstalldir/lib and --with-gmp-include=gmpinstalldir/include. [...] If these shorthand assumptions are not correct, you can use the explicit include and lib options directly.
