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

2014-10-30 Thread John zheng
rth at gcc dot gnu.org gcc.gnu.org> writes: > > 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 >

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

2014-05-16 Thread rth at gcc dot gnu.org
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