------- Comment #6 from redi at gcc dot gnu dot org 2010-06-29 19:00 ------- (In reply to comment #5) > Or if you install from your distro you need the development packages, for gmp
^ that should say "for Ubuntu" not "for gmp" -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44714
