http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483
--- Comment #9 from Mikael Pettersson <mikpe at it dot uu.se> 2012-02-01 12:42:44 UTC --- (In reply to comment #8) > /tmp/gcc-4.7-20110820/gcc/ada -g -O2 -W -Wall -Wwrite-strings > -Wstrict-prototypes -Wmissing-prototypes -gnatpg -gnata -I- > /tmp/gcc-4.7-20110820/gcc/ada/ali-util.adb > scng.adb:1799:47: "SPARK" is undefined > gnatmake: "/tmp/gcc-4.7-20110820/gcc/ada/ali-util.adb" compilation error This is a generic problem affecting all cross-builds, caused by r177183. For instance, a gcc-4.6.2 host gcc fails to build gcc-4.7-20120128 as a cross to sparc64-linux with the above error, even though native builds on sparc64-linux have no problems building the same gcc-4.7-20120128 with an even older gcc-4.4.6 host compiler. However, in the brief period between r177141 and r177183, applying my tentative patch did allow a successful build of a gcc-4.7 cross to m68k w/ ada, so I'll try a native bootstrap with it soonish.
