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.
