From 80bd3766dd8f1729187ed9c8e0ad29f67cea0886 Mon Sep 17 00:00:00 2001
From: Bernhard M. Wiedemann
Date: Mon, 2 Dec 2019 11:43:18 +0100
Subject: Allow to override build date with SOURCE_DATE_EPOCH

in order to make builds reproducible.
See https://reproducible-builds.org/ for why this is good
and https://reproducible-builds.org/specs/source-date-epoch/
for the definition of this variable.

Fixes #11037
---
 doc/changelog/11-infrastructure-and-dependencies/11227-date.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/11-infrastructure-and-dependencies/11227-date.rst

(limited to 'doc')

diff --git a/doc/changelog/11-infrastructure-and-dependencies/11227-date.rst b/doc/changelog/11-infrastructure-and-dependencies/11227-date.rst
new file mode 100644
index 0000000000..5c08e2b0ea
--- /dev/null
+++ b/doc/changelog/11-infrastructure-and-dependencies/11227-date.rst
@@ -0,0 +1,5 @@
+- **Added:**
+  Build date can now be overriden by setting the `SOURCE_DATE_EPOCH`
+  environment variable
+  (`#11227 <https://github.com/coq/coq/pull/11227>`_,
+  by Bernhard M. Wiedemann).
-- 
cgit v1.2.3