Bug#866029: gnat-7: support for SOURCE_DATE_EPOCH triggers unneeded recompilations
Package: gnat-7
Severity: minor
Hello.
The fix for #856042 lets gnat write a fake time stamp into the .ali
file when an Ada source is more recent than SOURCE_DATE_EPOCH.
If another source depending on this one is later compiled with
gnatmake, gnatmake will (sensibly) conclude that the dependency must
be recompiled. Each recursive reverse dependency then triggers a
recompilation of the same source.
A reproducer is attached.
As long as no proper fix is found, the -m gnatmake/gprbuild option
circumvents the issue.
Reply to: