]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Add dependency lines for External_Initialization
authorRonan Desplanques <desplanques@adacore.com>
Tue, 10 Sep 2024 13:54:52 +0000 (15:54 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 8 Oct 2024 08:37:14 +0000 (10:37 +0200)
commit57a26ae990f0fbde0ab6ec1d256d403561a8a4f5
tree6ae0a2381e056d1ddac2dc23eb2b8868f093b8de
parent4ca91b84aa1cdb5fcd178ecb2bc7a13c9be082e3
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.
gcc/ada/lib-writ.ads
gcc/ada/sem_ch3.adb