GCC 4.7.2 builds successfully

[Denis Excoffier]

Hello again,

Using the patch provided in http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55699
and, more importantly, using gmp-5.1.0-20121214.tar.xz,
GCC 4.7.2 builds successfully (with gmp embedded in source directory),
at least on my Mac OSX 8.2.0 (with the command line tools of Xcode 4.5.2).

I'm now going to check darwin9 (PowerPC and Xcode 3.1.4).

Regards,

Denis Excoffier.