On 2012-07-05 13:41:20 +0100, Jonathan Wakely wrote: > Oh, also, even if you get the gmp/mpfr/mpc bit working 4.7.1 won't > build on gcc61: > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53270 Thanks. I could see that. FYI, this was for testing http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53789 (reproducible ICE with old GCC versions on gcc61, preprocessed testcase provided). -- Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)