diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-08-08 12:32:12 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-06 09:14:20 +0200 |
| commit | ec95a21b5246af342fd91c9fe99022c1f2e9d7bf (patch) | |
| tree | cf3b3d2111d6025d16fefc204ee92496b5573a7d | |
| parent | e9bac0faa1e55c6673296d7618df77044ef406ca (diff) | |
| download | gcc-ec95a21b5246af342fd91c9fe99022c1f2e9d7bf.zip gcc-ec95a21b5246af342fd91c9fe99022c1f2e9d7bf.tar.gz gcc-ec95a21b5246af342fd91c9fe99022c1f2e9d7bf.tar.bz2 | |
[Ada] Add formal verification dependencies to libgnat
Spec units for verification of the GNAT standard library with GNATprove
must be listed as part of the libgnat package, as otherwise libadalang
will complain about missing dependencies.
gcc/ada/
* Makefile.rtl (GNATRTL_NONTASKING_OBJS): Include
System.Value_U_Spec and System.Value_I_Spec units.
| -rw-r--r-- | gcc/ada/Makefile.rtl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/Makefile.rtl b/gcc/ada/Makefile.rtl index 00137f2..d941364 100644 --- a/gcc/ada/Makefile.rtl +++ b/gcc/ada/Makefile.rtl @@ -778,6 +778,7 @@ GNATRTL_NONTASKING_OBJS= \ s-vaenu8$(objext) \ s-vafi32$(objext) \ s-vafi64$(objext) \ + s-vaispe$(objext) \ s-valboo$(objext) \ s-valcha$(objext) \ s-valflt$(objext) \ @@ -796,6 +797,7 @@ GNATRTL_NONTASKING_OBJS= \ s-valuns$(objext) \ s-valuti$(objext) \ s-valwch$(objext) \ + s-vauspe$(objext) \ s-veboop$(objext) \ s-vector$(objext) \ s-vercon$(objext) \ |