diff options
| author | Jerome Lambourg <lambourg@adacore.com> | 2018-08-21 14:49:49 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-08-21 14:49:49 +0000 |
| commit | 5ec8edb56ea77f8627b6fc7b9f95751d27cd9162 (patch) | |
| tree | 6e9cb10f5d42f631279ee16e67c2e4b38116af55 /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 084e3bd183b1b7253f1216b5b165bde7bfbf6bf6 (diff) | |
| download | gcc-5ec8edb56ea77f8627b6fc7b9f95751d27cd9162.zip gcc-5ec8edb56ea77f8627b6fc7b9f95751d27cd9162.tar.gz gcc-5ec8edb56ea77f8627b6fc7b9f95751d27cd9162.tar.bz2 | |
[Ada] Add a new gnat tool vxlink
VxLink is a helper tool used as a wrapper around g++/gcc to build
VxWorks DKM (Downloadable Kernel Modules).
Such DKM is a partially linked object that includes entry points for
constructors and destructors.
This tool thus uses g++ to generate an intermediate partially linked
object, retrieves the list of constructors and destructors in it and
produces a C file that lists those ctors/dtors in a way that is
understood be VxWorks kernel. It then links this file with the
intermediate object to produce a valid DKM.
2018-08-21 Jerome Lambourg <lambourg@adacore.com>
gcc/ada/
* vxlink-bind.adb, vxlink-bind.ads, vxlink-link.adb,
vxlink-link.ads, vxlink-main.adb, vxlink.adb, vxlink.ads: Add a
new tool vxlink to handle VxWorks constructors in DKMs.
* gcc-interface/Makefile.in: add rules to build vxlink
From-SVN: r263736
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
0 files changed, 0 insertions, 0 deletions