On 2012-12-15 00:43, Denis Excoffier wrote : > I'm now going to check darwin9 (PowerPC and Xcode 3.1.4). > GCC 4.7.2 also builds perfectly on Darwin 9.8.0, with the new gmp (post RC2) embedded in the source directory. Of course the same patch (GCC PR55699) was used. Denis Excoffier.