diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-01-09 11:04:35 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-03 06:01:39 -0400 |
| commit | e60b6e23741c6d6059e6f765f18ce4c56366874b (patch) | |
| tree | a9d06feb928b7ea4a945b531cf10cf202d81a6a8 /gcc/ada/gcc-interface/Make-lang.in | |
| parent | da566eeb31056d9f40ab48688dc3fe680535ce80 (diff) | |
| download | gcc-e60b6e23741c6d6059e6f765f18ce4c56366874b.zip gcc-e60b6e23741c6d6059e6f765f18ce4c56366874b.tar.gz gcc-e60b6e23741c6d6059e6f765f18ce4c56366874b.tar.bz2 | |
[Ada] Initial infrastructure for adding a tree checker
2020-06-03 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* frontend.adb (Frontend): Call (dummy for now) tree checker.
* debug.adb: Reserve -gnatd_V for the tree checker.
* vast.ads, vast.adb: New files.
* gcc-interface/Make-lang.in: Add vast.o.
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
| -rw-r--r-- | gcc/ada/gcc-interface/Make-lang.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in index 2e0f6b4..12a0c58 100644 --- a/gcc/ada/gcc-interface/Make-lang.in +++ b/gcc/ada/gcc-interface/Make-lang.in @@ -481,6 +481,7 @@ GNAT_ADA_OBJS = \ ada/urealp.o \ ada/usage.o \ ada/validsw.o \ + ada/vast.o \ ada/warnsw.o \ ada/widechar.o |