diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2021-01-06 04:41:54 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-04 05:17:33 -0400 |
| commit | 7367cd5949ec066811979dbb60b51cbcc6c123b3 (patch) | |
| tree | 4f92dbe4db0e64f588d2136fcfc9d0b3bc657537 /gcc/ada/gcc-interface/Make-lang.in | |
| parent | 716e7c15aba61327712f90c11afb766e9c69dbba (diff) | |
| download | gcc-7367cd5949ec066811979dbb60b51cbcc6c123b3.zip gcc-7367cd5949ec066811979dbb60b51cbcc6c123b3.tar.gz gcc-7367cd5949ec066811979dbb60b51cbcc6c123b3.tar.bz2 | |
[Ada] Assert_Failure vs Assertion_Error
gcc/ada/
* libgnat/s-assert.ads (Assert_Failure): Now a renaming of
Assertion_Error.
* libgnat/a-assert.ads (Assertion_Error): Now a first class
citizen. Remove dependency on System.Assertions.
* gcc-interface/a-assert.ads, gcc-interface/a-assert.adb: New.
* gcc-interface/Make-lang.in (GNAT_ADA_OBJS, GNATBIND_OBJS): Add
a-assert.o from gcc-interface.
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
| -rw-r--r-- | gcc/ada/gcc-interface/Make-lang.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in index d88c354..f5c8e6f 100644 --- a/gcc/ada/gcc-interface/Make-lang.in +++ b/gcc/ada/gcc-interface/Make-lang.in @@ -471,6 +471,7 @@ GNAT_ADA_OBJS = \ ada/stylesw.o \ ada/switch-c.o \ ada/switch.o \ + ada/gcc-interface/a-assert.o \ ada/gcc-interface/system.o \ ada/table.o \ ada/targparm.o \ @@ -629,6 +630,7 @@ GNATBIND_OBJS = \ ada/stylesw.o \ ada/switch-b.o \ ada/switch.o \ + ada/gcc-interface/a-assert.o \ ada/gcc-interface/system.o \ ada/table.o \ ada/targext.o \ |