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.

Reply via email to