http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54791
--- Comment #28 from David Edelsohn <dje at gcc dot gnu.org> 2012-11-27 20:42:06 UTC --- Is the executable size due to debugging information? Do the RPMs contain stripped executables? I do not know why your build is failing. It looks like a conflict due to your GMP installation.
