http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53919
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-10 18:45:54 UTC --- ... and I was using gmp 5.0.1 with gcc 4.6 over a year ago: http://advogato.org/person/redi/diary/240.html If it doesn't work with 4.7 you did something wrong, it's not a problem with the install docs. The isl configury has just changed, so that might be invalid for anything but trunk.