projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bce17c3) | patch
[Ada] Add sa_messages.ad[sb] for SPARK 2014
authorPierre-Marie de Rodat <derodat@adacore.com>
Tue, 21 Aug 2018 14:44:25 +0000 (14:44 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 21 Aug 2018 14:44:25 +0000 (14:44 +0000)
commitd40800cfe589cf55e074ed151c7a607d5680997a
tree0b822437311e58ffba7eadaf8fc5302478a7b414tree
parentbce17c392a9de548ca93769907239052d1d6ddc5commit | diff
[Ada] Add sa_messages.ad[sb] for SPARK 2014

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  <derodat@adacore.com>

gcc/ada/

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

From-SVN: r263706
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sa_messages.adb [new file with mode: 0644] blob
gcc/ada/sa_messages.ads [new file with mode: 0644] blob