[Ada] Generate ada_target_properties
authorJerome Guitton <guitton@adacore.com>
Mon, 19 Aug 2019 08:36:58 +0000 (08:36 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 19 Aug 2019 08:36:58 +0000 (08:36 +0000)
commitbd0feb3c614d33141062a5d5c7a4966a3b64d7bd
treeaa3b347b593f5ec4907174f7a2306e80ad3706f2
parent6c87c83bb2a8a65f6f73d23ebb863a5c67e4c6c2
[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
gcc/ada/ChangeLog
gcc/ada/Makefile.rtl
gcc/ada/gcc-interface/Makefile.in