File Reproducibility.patch of Package TeXmacs

diff --git a/configure b/configure
index 1b748e2..5506ef9 100755
--- a/configure
+++ b/configure
@@ -6020,7 +6020,8 @@ printf "%s\n" "$as_me: WARNING: Drop duplicate flag $LC_MERGE_FLAGS_flag" >&2;}
   CONFIG_HOST_VENDOR="$host_vendor"
   CONFIG_HOST_CPU="$host_cpu"
   CONFIG_USER="$USER"
-  CONFIG_DATE="`date`"
+  DATE_FMT="+%Y-%m-%dT%H:%M:%S"
+  CONFIG_DATE="`SOURCE_DATE_EPOCH="${SOURCE_DATE_EPOCH:-$(date +%s)}"; date -u -d "@$SOURCE_DATE_EPOCH" "$DATE_FMT" 2>/dev/null || date -u -r "$SOURCE_DATE_EPOCH" "$DATE_FMT" 2>/dev/null || date -u "$DATE_FMT"`"
   CONFIG_QTPIPES="no"
   type rsync && CONFIG_CP="rsync -a --exclude='.*'" || CONFIG_CP="cp -f -R -p"
   # tweak for XCode project
diff --git a/misc/m4/tm_platform.m4 b/misc/m4/tm_platform.m4
index 19ca53d..6f435ee 100644
--- a/misc/m4/tm_platform.m4
+++ b/misc/m4/tm_platform.m4
@@ -30,7 +30,8 @@ AC_DEFUN([TM_PLATFORM],[
   CONFIG_HOST_VENDOR="$host_vendor"
   CONFIG_HOST_CPU="$host_cpu"
   CONFIG_USER="$USER"
-  CONFIG_DATE="`date`"
+  DATE_FMT="+%Y-%m-%dT%H:%M:%S"
+  CONFIG_DATE="`SOURCE_DATE_EPOCH="${SOURCE_DATE_EPOCH:-$(date +%s)}"; date -u -d "@$SOURCE_DATE_EPOCH" "$DATE_FMT" 2>/dev/null || date -u -r "$SOURCE_DATE_EPOCH" "$DATE_FMT" 2>/dev/null || date -u "$DATE_FMT"`
   CONFIG_QTPIPES="no"
   type rsync && CONFIG_CP="rsync -a --exclude='.*'" || CONFIG_CP="cp -f -R -p"
   # tweak for XCode project