diff options
| author | Jerome Guitton <guitton@adacore.com> | 2019-08-19 08:36:58 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-19 08:36:58 +0000 |
| commit | bd0feb3c614d33141062a5d5c7a4966a3b64d7bd (patch) | |
| tree | aa3b347b593f5ec4907174f7a2306e80ad3706f2 /gcc/ada/gcc-interface | |
| parent | 6c87c83bb2a8a65f6f73d23ebb863a5c67e4c6c2 (diff) | |
| download | gcc-bd0feb3c614d33141062a5d5c7a4966a3b64d7bd.zip gcc-bd0feb3c614d33141062a5d5c7a4966a3b64d7bd.tar.gz gcc-bd0feb3c614d33141062a5d5c7a4966a3b64d7bd.tar.bz2 | |
[Ada] Generate ada_target_properties
Generate target-dependent info into a file named ada_target_properties.
This information is used by tools for static analysis: they need to know
the size of standard types for a given run-time library. This metadata
is meant to be saved at the root of the run-time directory.
2019-08-19 Jerome Guitton <guitton@adacore.com>
gcc/ada/
* Makefile.rtl (system.o): New target to add generation of
target properties.
* gcc-interface/Makefile.in (install-gnatlib): Install
ada_target_properties.
From-SVN: r274658
Diffstat (limited to 'gcc/ada/gcc-interface')
| -rw-r--r-- | gcc/ada/gcc-interface/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in index e9a4874..d4c9d15 100644 --- a/gcc/ada/gcc-interface/Makefile.in +++ b/gcc/ada/gcc-interface/Makefile.in @@ -516,6 +516,8 @@ install-gnatlib: ../stamp-gnatlib-$(RTSDIR) install-gcc-specs for file in $(RTSDIR)/*.ali; do \ $(INSTALL_DATA_DATE) $$file $(DESTDIR)$(ADA_RTL_OBJ_DIR); \ done + $(INSTALL_DATA_DATE) $(RTSDIR)/ada_target_properties \ + $(DESTDIR)$(ADA_RTL_OBJ_DIR)/../ -cd $(RTSDIR); for file in *$(arext);do \ $(INSTALL_DATA) $$file $(DESTDIR)$(ADA_RTL_OBJ_DIR); \ $(RANLIB_FOR_TARGET) $(DESTDIR)$(ADA_RTL_OBJ_DIR)/$$file; \ |