Bug#831664: marked as done (why3: please make the build reproducible)
Your message dated Tue, 19 Jul 2016 22:13:04 +0000
with message-id <E1bPdGC-0007Ow-Ov@franck.debian.org>
and subject line Bug#831664: fixed in why3 0.87.1-2
has caused the Debian Bug report #831664,
regarding why3: please make the build reproducible
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
831664: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=831664
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: why3
Version: 0.87.1-1
Severity: wishlist
Tags: patch
User: reproducible-builds@lists.alioth.debian.org
Usertags: timestamps
X-Debbugs-Cc: reproducible-builds@lists.alioth.debian.org
Hi,
Whilst working on the "reproducible builds" effort [0], we noticed
that why3 could not be built reproducibly.
Patch attached.
[0] https://wiki.debian.org/ReproducibleBuilds
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` lamby@debian.org / chris-lamb.co.uk
`-
--- a/debian/patches/reproducible-build 1970-01-01 02:00:00.000000000 +0200
--- b/debian/patches/reproducible-build 2016-07-18 11:44:43.074796861 +0200
@@ -0,0 +1,19 @@
+Description: Make the build reproducible
+Author: Chris Lamb <lamby@debian.org>
+Last-Update: 2016-07-18
+
+--- why3-0.87.1.orig/configure.in
++++ why3-0.87.1/configure.in
+@@ -711,7 +711,11 @@ dnl AC_CHECK_PROGS(PDFVIEWER,xpdf acrore
+
+ VERSION=$PACKAGE_VERSION
+
+-BUILDDATE="$(date)"
++if test -n "$SOURCE_DATE_EPOCH"; then
++ BUILDDATE="$(LC_ALL=C date --utc --date="@${SOURCE_DATE_EPOCH}")"
++else
++ BUILDDATE="$(date)"
++fi
+
+ # substitutions to perform
+ AC_SUBST(VERSION)
--- a/debian/patches/series 2016-07-18 11:29:52.672691023 +0200
--- b/debian/patches/series 2016-07-18 11:44:41.410770817 +0200
@@ -1,2 +1,3 @@
typos
drop-timestamp
+reproducible-build
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 0.87.1-2
We believe that the bug you reported is fixed in the latest version of
why3, 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 831664@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 why3 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, 19 Jul 2016 19:05:11 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy3-ocaml-dev - ocaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF Documentation of the why3 verification platform
why3-examples - Examples for the why3 verification platform
Closes: 831664
Changes:
why3 (0.87.1-2) unstable; urgency=medium
.
* amended patch drop-timestamp: drop setting of BUILDDATE from configure.in
(closes: #831664). Invoke autoconf, and build-depend on autoconf,
since we patch configure.in
Checksums-Sha1:
7efe509c269bbb9184b732bb9f94fbd55711fca1 2592 why3_0.87.1-2.dsc
3caca66ebc51638f0e8a3dce8c19ba60add58f68 12092 why3_0.87.1-2.debian.tar.xz
Checksums-Sha256:
cd2527dd0018a6271418f63db71b7e691337b12663cf221a08558c70386695be 2592 why3_0.87.1-2.dsc
0690fcd7dfac4328b57a97af70c1282cf69725b72e083f7ca095f70b7fe8020e 12092 why3_0.87.1-2.debian.tar.xz
Files:
8719077ed343a80bba2547e9a6abe247 2592 math optional why3_0.87.1-2.dsc
95394598e0d8be8a976438919a8284f4 12092 math optional why3_0.87.1-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXjoFKAAoJEHRcR2bUys3/Vv4P/RKw04tmiOiergjiwRCIF+qt
LLn02Iiy0P353Mmd1oD8x7AWnLe35Qn73XM5kW5/QkBSzaZ4EivC8Rmdu2g+o5LV
A/vVDtuRehlQe4+LwqFj/T8aOhQF+++9obWHpY+qsRNwxDOIcLaLsvPmFDvcQ4je
qgg7j6QPtydcMhezWERmxUwzbaHTWUJ+kM3BHL/8SNoL3MqyaNhpBnEjlMsxGx/S
6JV4/sv+rfGfmHcxdlvLHfq3njWZcXU42vIncXBVe6C11sixPCkk01RrJp2H2tZC
T1wrngdmwFJY91SxkU498ZtCPakPQz6v/YlOTDxJfZkrgTB1BBuDgEsg9TWIZAnQ
9yOJpLf+CPz9v5mAvEWmUL2IH/UoO5ihyMoJYEa0E0y1Txc/xIvqMlXYrFcTM717
7rFYG8xOWHy+/pS/s6d6GSnAzR0Rzq0dIxQFgX162T55VIdQhU3q6UllumCBhBvU
FcoZoxyiWIcK//UIgKRrycouAu5CKQITGkZEX9jZN2j8kHtrTPXZgslhZEDYM8Yw
c3IVYC4QKraQ3B0qKeqrJGie1zDK2YYUPTzBQ0lmMXV1rg+v+zO3xxLDAmhnYZ4v
V+pIdiug+W36ampaQqJCPAKFI5QEuP8JDfen409Dx5kDMIE9bkwVdndsleW1nBUW
b+dze0ByxEnCy890Vcko
=Rhxg
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: