[Ada] Add sa_messages.ad[sb] for SPARK 2014

Programming / Compilers / GCC - pmderodat [138bc75d-0d04-0410-961f-82ee72b054a4] - 21 August 2018 14:44 EDT

These new source files will make it possible to build SPARK 2014 from a snapshot of GCC FSF sources.

2018-08-21 Pierre-Marie de Rodat

gcc/ada/

- sa_messages.ads, sa_messages.adb: New source files.

cccf033e435 [Ada] Add sa_messages.ad[sb] for SPARK 2014
gcc/ada/ChangeLog | 4 +
gcc/ada/sa_messages.adb | 539 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/ada/sa_messages.ads | 267 ++++++++++++++++++++++++
3 files changed, 810 insertions(+)

Upstream: gcc.gnu.org


  • Share