Source: gprbuild Version: 2017-2 Severity: normal Hello. When SOURCE_DATE_EPOCH is defined in the environment, and the date it contains is older than an Ada source, gcc (>= 7.1.0-9) writes SOURCE_DATE_EPOCH in the .ali file instead of the actual source file timestamp. gprbuild then detects the mismatch and insists on recompiling again and again.
gpr/src/gpr-util.adb should probably be patched to handle SOURCE_DATE_EPOCH too. To reproduce: cat > a.adb <<EOF procedure A is begin null; end A; EOF cat > p.gpr <<EOF project P is for Main use ("a.adb"); end P; EOF export SOURCE_DATE_EPOCH=100 gprbuild p.gpr gprbuild -vh p.gpr