http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483
--- Comment #15 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-02-04 07:15:31 UTC --- > Can't build Ada/gnat-4.7 on Ubuntu 12.10 because of SPARK issue, although > there > are long and complicated directions for how to build Ada/gnat-4.7 on Ubuntu, > some work and some don't. Per GNU standards, the build system should be > changed so that it's possible to build gnat-4.7 with gnat-4.6. Also, if a > native compiler of the same version number must be built to build gnat, then > the build system should (but fails to) automatically build the native version > first, then use that to build the cross compiler. This PR has nothing to do with the build system though.