http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56853

--- Comment #6 from g <toedt at embl dot de> ---
In my case i could fix it by reinstalling gmp.

for macports you would have todo:
port -f uninstall gmp
port install -s gmp

Reply via email to