Your message dated Sun, 04 Sep 2016 10:19:45 +0000
with message-id <e1bguwf-0000bj...@franck.debian.org>
and subject line Bug#828971: fixed in clasp 3.1.5-1
has caused the Debian Bug report #828971,
regarding clasp: 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 ow...@bugs.debian.org
immediately.)
--
828971: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=828971
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: clasp
Version: 3.1.4-2
Severity: wishlist
Tags: patch upstream
User: reproducible-bui...@lists.alioth.debian.org
Usertags: fileordering
X-Debbugs-Cc: reproducible-bui...@lists.alioth.debian.org
Hi!
While working on the "reproducible builds" effort [1], we have noticed
that clasp could not be built reproducibly.
A list of source files is not sorted, which causes a non-deterministic
linking order.
The attached patch fixes this.
Regards,
Reiner
[1]: https://wiki.debian.org/ReproducibleBuilds
diff --git a/debian/patches/reproducible-build.patch b/debian/patches/reproducible-build.patch
new file mode 100644
index 0000000..8e840d1
--- /dev/null
+++ b/debian/patches/reproducible-build.patch
@@ -0,0 +1,14 @@
+Author: Reiner Herrmann <rei...@reiner-h.de>
+Description: Sort source files for deterministic linking order
+
+--- a/tools/Base.in
++++ b/tools/Base.in
+@@ -6,7 +6,7 @@
+ AR ?= ar
+ -include .CONFIG
+ -include $(FLAGS)
+-SOURCES := $(patsubst $(SOURCE_DIR)/%.cpp,%.cpp,$(wildcard $(SOURCE_DIR)/*.cpp))
++SOURCES := $(patsubst $(SOURCE_DIR)/%.cpp,%.cpp,$(sort $(wildcard $(SOURCE_DIR)/*.cpp)))
+ ifeq ($(OUT_DIR),)
+ DEPS := $(patsubst %.cpp,%.dep, $(SOURCES))
+ OBJECTS := $(patsubst %.cpp,%.o, $(SOURCES))
diff --git a/debian/patches/series b/debian/patches/series
index c78dfaa..9fd6edb 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
clasp-manpage.patch
clasp-parallel-solve.patch
+reproducible-build.patch
signature.asc
Description: Digital signature
--- End Message ---
--- Begin Message ---
Source: clasp
Source-Version: 3.1.5-1
We believe that the bug you reported is fixed in the latest version of
clasp, 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 828...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Thomas Krennwallner <tk...@kr.tuwien.ac.at> (supplier of updated clasp 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 04 Sep 2016 09:54:27 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.1.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at>
Description:
clasp - conflict-driven nogood learning answer set solver
Closes: 828971
Changes:
clasp (3.1.5-1) unstable; urgency=medium
.
* New upstream version 3.1.5
* debian/rules: cope with multiarch libtbb, thanks to Steve Beattie
* Remove parallel solve patch introduced in clasp 3.1.4-2
* Bug fix: "please make the build reproducible", thanks to Reiner
Herrmann (Closes: #828971)
Checksums-Sha1:
b8e1eeeb88f32e1e872bd36f00dd77e3897d5cd4 1998 clasp_3.1.5-1.dsc
7a0ce532ead491af585c0a5ac982f24bfc46e741 522179 clasp_3.1.5.orig.tar.gz
ed550abea356af13c843c91410c49e2169217e6e 7144 clasp_3.1.5-1.debian.tar.xz
bc1e378e39174150f11ae42f0c20828c43ccf9a6 4271826 clasp-dbgsym_3.1.5-1_amd64.deb
a40660d55c199457fffd1300eb963ece98d8e6fc 463496 clasp_3.1.5-1_amd64.deb
Checksums-Sha256:
372ae3c4637fbf1f8bcd885a443c7b2b34541b9bf111c753cc63677f3ababac2 1998
clasp_3.1.5-1.dsc
f9ea3020298cec0649e0c5864cfd2c1d92d48c55433277844522450cf461e9c7 522179
clasp_3.1.5.orig.tar.gz
2d0aef660eed55b38d3cd793ad93d522592fd5b325b2835ec49201d6e2a6532e 7144
clasp_3.1.5-1.debian.tar.xz
303479cc934e738e655195a5b2ad1a81ca25da11e131c27e000c13ced86ae422 4271826
clasp-dbgsym_3.1.5-1_amd64.deb
981393cb11eec948fef10029fb8a446f6a15f8691764234ecf5d9c6bcbce5f1c 463496
clasp_3.1.5-1_amd64.deb
Files:
7bcc99b5ca98d650b4e2d45bd9e47be7 1998 interpreters extra clasp_3.1.5-1.dsc
83f781c6cabbdc25f7f07d4720311bad 522179 interpreters extra
clasp_3.1.5.orig.tar.gz
fb2d1438fcdc2f6da739312d6dbbc5a1 7144 interpreters extra
clasp_3.1.5-1.debian.tar.xz
61269af1df975d355c7123202726fa68 4271826 debug extra
clasp-dbgsym_3.1.5-1_amd64.deb
0ec6a4e8d448358d67ba818b83991d62 463496 interpreters extra
clasp_3.1.5-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJXy9fUAAoJECeX33SmZpqptxQP/0uyVrAsE4V0Ac5pJlH4SD7e
LLmUshEn6xEHW4vhAcAllLojoBI3k5efz2KQ4kXm6EkcnQzVRQwZQZkhpO5jSAhS
jdDfIM+lYVb6rZPU2aoEqewTN4kXrX2TSlMBGQWtymfyC9Ibud60z/GDR6A9uD5n
MeXyiLyCnxJQszRrCtz25vlxbpLqHL/NiOtZPO7LRX9OGoYt3kfcERo5fFAjn4Y7
WRtRqoEbjP217xiCDJklQaJcQ4qMzXYdXVMeM0v57Fl+Pi86ka8LhcxgnAlqm417
fVe8SpJhQ3VLFVAnhnU1Ocg7YSQQpwsTIRlpfPtxdWAY8gf6z+Puh6Kpn7iYXB3z
wQTlq2xisRvWW6ki6v0SXIK7S6eRqpy/yRgJCIKZYzlpsSHrJa6ohF2nF92AJxwD
Bviz4lYDN9dM11cQNOmGvPUVlqjjyzWZTkNyF1HPN+Wq6l9vMw4Lqg9hPO7o0Juo
4vZrSZCi+KL4IVIZjqXgVNa4uWD5Crnp+h06vMUNeRs4EtfrOWPngIl5rlkaBm7Q
YZuOKUa+rHHmmpittkOgJd04dlDoarYZTgbDWr1tvhc31qEmxMfgVt570EXKdqsR
eEMndyk9dQ+Hxy2ijrW+Iscy4kYC+QyplHPnNZXZVxgc9hxuNg50qNoN2sNq/27I
HKExu9iGqtJUmghAAM/4
=piRd
-----END PGP SIGNATURE-----
--- End Message ---
--
debian-science-maintainers mailing list
debian-science-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
