http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51483
cynt6007 at vandals dot uidaho.edu changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |cynt6007 at vandals dot
| |uidaho.edu
--- Comment #14 from cynt6007 at vandals dot uidaho.edu 2013-02-04 00:07: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.
