Description: Allow set the build date
 This patch moves the date command used for setting the build date to a
 variable, allowing to set the build date externally.
Author: Juan Picca <jumapico@gmail.com>,
 updated by Jakub Wilk <jwilk@debian.org>
Last-Update: 2015-05-25
---
Index: alt-ergo/Makefile.users
===================================================================
--- alt-ergo.orig/Makefile.users	2016-11-29 21:32:45.203589705 +0100
+++ alt-ergo/Makefile.users	2016-11-29 21:32:45.199589689 +0100
@@ -1,4 +1,5 @@
 ARCH = $(shell uname -m)
+BUILD_DATE ?= $(shell LANG=C date)
 
 VERSION=$(shell grep "=" src/util/version.ml | cut -d"=" -f2 | head -n 1)
 
@@ -158,7 +159,7 @@
 .PHONY: gui
 
 src/util/config.ml: config.status
-	@echo "let date = \""`LANG=en_US; date`"\"" >> src/util/config.ml
+	@echo "let date = \""$(BUILD_DATE)"\"" >> src/util/config.ml
 	@echo "let bindir = \""$(BINDIR)"\"" >> src/util/config.ml
 	@echo "let libdir = \""$(LIBDIR)"\"" >> src/util/config.ml
 	@echo "let pluginsdir = \""$(PLUGINSDIR)"\"" >> src/util/config.ml
