[Bug bootstrap/53798] [4.7] Bootstrap fails on Linux x86_64 with pre-built libmpc/mpfr/gmp due to multilib path problem

[redi at gcc dot gnu.org]

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.