On 08/23/2012 10:10 PM, Jonathan Wakely wrote: >> Maybe the check in the configure script should check for the correct >> > version range. It looks to me that the recent versions are not >> > compatible to the gcc makefile/configure. > That's http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50461 - the fix is > on the trunk but hasn't been applied to the 4.7 branch Do you want to handle applying that patch to the branch? Sounds like you've built & tested it already. Andrew.