[Bug ada/61201] Cross compile fails with SPARK_05 undefined

2014-05-20 Thread rth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201 --- Comment #5 from Richard Henderson --- Ah, now that's a good answer. Thanks, Eric.

[Bug ada/61201] Cross compile fails with SPARK_05 undefined

2014-05-20 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201 Eric Botcazou changed: What|Removed |Added CC||ebotcazou at gcc dot gnu.org --- Comment

[Bug ada/61201] Cross compile fails with SPARK_05 undefined

2014-05-19 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201 --- Comment #3 from Arnaud Charlet --- 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 t

[Bug ada/61201] Cross compile fails with SPARK_05 undefined

2014-05-19 Thread rth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201 --- Comment #2 from Richard Henderson --- While that does allow me to proceed further, I think you're dismissing an actual problem somewhere. If gnat 4.8.2 can compile gnat 4.9.0 for native, then I do not understand why it can't compile 4.9.0 fo

[Bug ada/61201] Cross compile fails with SPARK_05 undefined

2014-05-16 Thread charlet at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61201 Arnaud Charlet changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED CC|