Package: alt-ergo
Version: 0.99.1+dfsg1-2
Severity: wishlist
Tags: patch
Usertags: timestamps


While working on the "reproducible builds" effort [1], we have noticed
that alt-ergo could not be built reproducibly.

The attached patch removes extra timestamps from the build system,
helping us to work in make the build reproducible.

* 0003-allow-set-build-date.patch: is a quilt patch.
* debian-rules.patch: is a patch for the debian directory file.


-- System Information:
Debian Release: stretch/sid
  APT prefers testing-updates
  APT policy: (500, 'testing-updates'), (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.16.0-4-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Description: Allow set the build date
 This patch moves the date command used for set the build date to a variable,
 allowing set the build date externally.
Author: Juan Picca <>
Last-Update: 2015-05-25
--- a/Makefile.users
+++ b/Makefile.users
@@ -1,4 +1,5 @@
 ARCH = $(shell uname -m)
+BUILD_DATE = $(shell LANG=en_US; date)
@@ -157,7 +158,7 @@ endif
 src/util/ config.status
 	@echo "let version = \""$(VERSION)"\"" >> src/util/
-	@echo "let date = \""`LANG=en_US; date`"\"" >> src/util/
+	@echo "let date = \""$(BUILD_DATE)"\"" >> src/util/
 	@echo "let bindir = \""$(BINDIR)"\"" >> src/util/
 	@echo "let libdir = \""$(LIBDIR)"\"" >> src/util/
 	@echo "let pluginsdir = \""$(PLUGINSDIR)"\"" >> src/util/
diff -ruNp alt-ergo-0.99.1+dfsg1.old/debian/rules alt-ergo-0.99.1+dfsg1/debian/rules
--- alt-ergo-0.99.1+dfsg1.old/debian/rules	2015-05-04 14:05:56.000000000 -0300
+++ alt-ergo-0.99.1+dfsg1/debian/rules	2015-05-25 11:32:50.114651077 -0300
@@ -3,10 +3,13 @@
 #export DH_VERBOSE=1
+LAST_CHANGE=$(shell dpkg-parsechangelog -S Date)
+BUILD_DATE=$(shell LC_ALL=C date -u "+%B %d, %Y" -d "$(LAST_CHANGE)")
 include /usr/share/ocaml/
-	$(MAKE) all gui
+	$(MAKE) all gui BUILD_DATE="$(BUILD_DATE)"
 	$(MAKE) DESTDIR=debian/tmp install install-gui
Reproducible-builds mailing list

Reply via email to