--- Begin Message ---
Package: alt-ergo
Version: 0.99.1+dfsg1-2
Severity: wishlist
Tags: patch
User: reproducible-builds@lists.alioth.debian.org
Usertags: timestamps
Hi!
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.
Notes:
* 0003-allow-set-build-date.patch: is a quilt patch.
* debian-rules.patch: is a patch for the debian directory file.
[1]: https://wiki.debian.org/ReproducibleBuilds
-- 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 <jumapico@gmail.com>
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)
VERSION=0.99.1
@@ -157,7 +158,7 @@ endif
src/util/version.ml: config.status
@echo "let version = \""$(VERSION)"\"" >> src/util/version.ml
- @echo "let date = \""`LANG=en_US; date`"\"" >> src/util/version.ml
+ @echo "let date = \""$(BUILD_DATE)"\"" >> src/util/version.ml
@echo "let bindir = \""$(BINDIR)"\"" >> src/util/version.ml
@echo "let libdir = \""$(LIBDIR)"\"" >> src/util/version.ml
@echo "let pluginsdir = \""$(PLUGINSDIR)"\"" >> src/util/version.ml
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/ocamlvars.mk
override_dh_auto_build:
- $(MAKE) all gui
+ $(MAKE) all gui BUILD_DATE="$(BUILD_DATE)"
override_dh_auto_install:
$(MAKE) DESTDIR=debian/tmp install install-gui
--- End Message ---
--- Begin Message ---
Source: alt-ergo
Source-Version: 0.99.1+dfsg1-3
We believe that the bug you reported is fixed in the latest version of
alt-ergo, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 786846@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated alt-ergo package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 26 May 2015 20:48:35 +0200
Source: alt-ergo
Binary: alt-ergo
Architecture: source amd64
Version: 0.99.1+dfsg1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
alt-ergo - Automatic theorem prover dedicated to program verification
Closes: 786846
Changes:
alt-ergo (0.99.1+dfsg1-3) unstable; urgency=medium
.
* debian/control: fix domain name in Vcs fields
* explicitly set the build date to the date of the last changelog entry
(closes: #786846):
- add patch 0003-allow-set-build-date to set the build date in the
Makefile in a variable
- debian/rules: pass the correct value of the build date to the Makefile
Thanks to Juan Picca <jumapico@gmail.com> and Jakub Wilk <jwilk@debian.org>
for the patch!
* rename patch 0001-dont-activate-debug-flag to be consistent with other
patches
Checksums-Sha1:
e7cf72c84f7e153e483be8fdbbe81e0f69ce22ec 2233 alt-ergo_0.99.1+dfsg1-3.dsc
d0febc95e35aeb9c06cfd8546684f1bb6db10bf0 12540 alt-ergo_0.99.1+dfsg1-3.debian.tar.xz
362a8bd2caf56b66f16d6aec91cfecb59e0c9a28 2021184 alt-ergo_0.99.1+dfsg1-3_amd64.deb
Checksums-Sha256:
829c7bce291cc41131c7e272da02886ac32a4e9ce946abefc87fe54c167465d1 2233 alt-ergo_0.99.1+dfsg1-3.dsc
373410436bb615b273ace93ec3225796c4b956c9547da8f4ea50a9ceb023858a 12540 alt-ergo_0.99.1+dfsg1-3.debian.tar.xz
01018d02fe289266fcb8c430d0f259e728eed1aed24b80ba54efda1184de8d1f 2021184 alt-ergo_0.99.1+dfsg1-3_amd64.deb
Files:
71c10d92498d432de619afc5406a9a00 2233 math optional alt-ergo_0.99.1+dfsg1-3.dsc
49247ef371ee893c4d434f2eae309b4e 12540 math optional alt-ergo_0.99.1+dfsg1-3.debian.tar.xz
1bd522c4730eeaf2a21a1ca7bbbf8147 2021184 math optional alt-ergo_0.99.1+dfsg1-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJVZMUoAAoJEHRcR2bUys3/alMP/iEyUtmD8T9+3nShw1SdSmXX
E+PXjfmufQ4o9mGVx9I/T36d3BEc+tWDeR5jSt9MSA/4cLgtSc/kYB09aqRLa18Z
OW+/vZUTNq6C7AY55R7F41ixcfm4D5mUoaiRvOGRovLRl38yfDMiIKQexMqTwOZ/
SR1uGHcR2U47mktMm2Lv6kaFj85jrPY7mTyhl3UjTyRDL8sd8ADzEtbnhQizTI0b
+OI77uTsdDgvbrYpLnX4RMyNAFdHhBUJ4lTm7T9SuAV+v0/D+aNmpqhTFZag6Xn9
vQoqVzwOvRhKeSVd75SK7L58w3WhcSWEdAloUVvOpme1QiGc9u8nHFRwrvLdfyov
Pl9NZJW9aTlrDegNgwewvoByhC5AnaX0LMZ0QJZ6Hk+mHpETTz96RmJPKS2EMZZu
4SjkWwwSBdeh473Hv1dCqr45JqtcRyUtWWP417xYq8JY0JPc24vjkX6JIcTna8bb
cjHetm7gUx7/b7V+P8tdQgJsD7kwkSq7O7DUv7YYd5Or+pa7lSYSIwim3PkzAHMX
b29VwFLKpp45xg6fk0EGFdC2ncBG5IR/hFnd+hjO2jJxFY0qMcR/cv058Z9iDKdw
jytty2wCgfDSArURnE61Pb+Pe8FgyNRiR5MrIfEES7srEoKMDiQfLaUfie1EnduQ
E+A7QUwFnO8iXuSYwCra
=SP8R
-----END PGP SIGNATURE-----
--- End Message ---