diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-09-10 15:54:52 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-10-08 10:37:14 +0200 |
| commit | 57a26ae990f0fbde0ab6ec1d256d403561a8a4f5 (patch) | |
| tree | 6ae0a2381e056d1ddac2dc23eb2b8868f093b8de /gcc/ada/doc/gnat_rm | |
| parent | 4ca91b84aa1cdb5fcd178ecb2bc7a13c9be082e3 (diff) | |
| download | gcc-57a26ae990f0fbde0ab6ec1d256d403561a8a4f5.zip gcc-57a26ae990f0fbde0ab6ec1d256d403561a8a4f5.tar.gz gcc-57a26ae990f0fbde0ab6ec1d256d403561a8a4f5.tar.bz2 | |
ada: Add dependency lines for External_Initialization
When a file included through External_Initialization has been modified,
the unit including it must be recompiled. This patch adds the
generation of dependency lines to the handling of the
External_Initialization aspect, to signal that fact to gnatmake and
other tools that invoke GNAT.
gcc/ada/ChangeLog:
* lib-writ.ads (Add_Preprocessing_Dependency): Update
documentation comment.
* sem_ch3.adb (Apply_External_Initialization): Add call to
Add_Preprocessing_Dependency.
Diffstat (limited to 'gcc/ada/doc/gnat_rm')
0 files changed, 0 insertions, 0 deletions