This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/61201] New: Cross compile fails with SPARK_05 undefined
- From: "rth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 16 May 2014 16:53:16 +0000
- Subject: [Bug ada/61201] New: Cross compile fails with SPARK_05 undefined
- Auto-submitted: auto-generated
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201
Bug ID: 61201
Summary: Cross compile fails with SPARK_05 undefined
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: rth at gcc dot gnu.org
restrict.ads:145:07: "SPARK_05" is undefined (more references follow)
gnatmake: "/home/rth/work/gcc/git-4.9/gcc/ada/ali-util.adb" compilation error
make[3]: *** [gnatmake-re] Error 4
make[3]: Leaving directory `/home/rth/work/gcc/bld-arm/gcc/ada/tools'
make[2]: *** [gnattools-cross] Error 2
make[2]: Leaving directory `/home/rth/work/gcc/bld-arm/gnattools'
make[1]: *** [all-gnattools] Error 2
make[1]: Leaving directory `/home/rth/work/gcc/bld-arm'
make: *** [all] Error 2
While this specific case is x86_64 cross arm, it happens with several
other cross-compilation targets as well.