diff options
| author | Pierre-Marie de Rodat <derodat@adacore.com> | 2018-08-21 14:44:25 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-08-21 14:44:25 +0000 |
| commit | d40800cfe589cf55e074ed151c7a607d5680997a (patch) | |
| tree | 0b822437311e58ffba7eadaf8fc5302478a7b414 /gcc/ada/gcc-interface | |
| parent | bce17c392a9de548ca93769907239052d1d6ddc5 (diff) | |
| download | gcc-d40800cfe589cf55e074ed151c7a607d5680997a.zip gcc-d40800cfe589cf55e074ed151c7a607d5680997a.tar.gz gcc-d40800cfe589cf55e074ed151c7a607d5680997a.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions