This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/61201] Cross compile fails with SPARK_05 undefined
- From: "charlet at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 19 May 2014 16:33:13 +0000
- Subject: [Bug ada/61201] Cross compile fails with SPARK_05 undefined
- Auto-submitted: auto-generated
- References: <bug-61201-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201
--- Comment #3 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
The build of GNAT cross is designed to rely on a matching native, to simplify
the
set up, so this is really as designed here, and not just a 'search path
problem'.
The coupling between the Ada runtime and the Ada compiler is very strong, and
trying to support this combination would simply lead to lots of complexity,
hence
the choice of not trying to address this combination, as per the documentation.
So: this is as designed and as documented.
Arno