http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54659
--- Comment #3 from dnovillo at google dot com <dnovillo at google dot com> 2012-10-26 12:34:53 UTC --- On Fri, Oct 26, 2012 at 8:05 AM, rguenther at suse dot de <gcc-bugzi...@gcc.gnu.org> wrote: > Fact is that all this stuff happens because gmp.h is not included > from system.h ... I broke Ada when I tried it. I don't remember the details, but it seemed tedious to fix. Diego.