Your message dated Wed, 07 Dec 2016 19:48:55 +0000
with message-id <e1ceid1-0001ix...@fasolo.debian.org>
and subject line Bug#844096: fixed in gringo 4.5.4-4
has caused the Debian Bug report #844096,
regarding gringo: 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.)
--
844096: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844096
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: gringo
Version: 4.5.4-3
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 gringo could not be built reproducibly.
During build it links objects in non-deterministic order.
The attached patch fixes this by sorting the list of source files.
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..f2901a4
--- /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/SConscript
++++ b/SConscript
+@@ -43,7 +43,7 @@
+ target = os.path.join(root, filename[:-3] + ".hh")
+ source = "#"+os.path.join(root, filename)
+ env.Re2c(target, source)
+- return sources
++ return sorted(sources)
+ finally:
+ os.chdir(oldcwd)
+
diff --git a/debian/patches/series b/debian/patches/series
index 43a7337..bb3fef4 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ gringo-manpages.patch
gringo-include-math.patch
gringo-solve-multi.patch
gringo-translate-minmax.patch
+reproducible-build.patch
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
Source: gringo
Source-Version: 4.5.4-4
We believe that the bug you reported is fixed in the latest version of
gringo, 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 844...@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 gringo 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: SHA512
Format: 1.8
Date: Wed, 07 Dec 2016 08:27:20 +0100
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.5.4-4
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:
gringo - grounding tools for (disjunctive) logic programs
Closes: 844096
Changes:
gringo (4.5.4-4) unstable; urgency=medium
.
* Bug fix: "please make the build reproducible", thanks to
Reiner Herrmann (Closes: #844096).
Checksums-Sha1:
0b4fc6d59ba19db1aef8d41a12e580ddb4b1da6f 2070 gringo_4.5.4-4.dsc
cf1e755f468108ed87fc38d9650f8e28787232f8 11340 gringo_4.5.4-4.debian.tar.xz
594c215c46d0408679777edda9f1e9b4110cae90 29928388
gringo-dbgsym_4.5.4-4_amd64.deb
e5a3715c49737330457fa958e21d5d4bee8f5675 5811 gringo_4.5.4-4_amd64.buildinfo
62bcf797059ad4e8adff598ddca2ee4548784429 1844774 gringo_4.5.4-4_amd64.deb
Checksums-Sha256:
f9991b514990b3308d375335efc0126e2a2b62bcee6b183c7de24ce21c2c07eb 2070
gringo_4.5.4-4.dsc
509cb3c4559086611c208dd21043ca7034089a263ec87c46f05b2ec70a10c55a 11340
gringo_4.5.4-4.debian.tar.xz
647a3af1c32ab46ac2df8cdab489a1edcc056dcee2eae1028c404f41ac5e6754 29928388
gringo-dbgsym_4.5.4-4_amd64.deb
6ab128d0a05983a85805c1279871c8928d5ddf4a03ad502f7bd667991f5eb14c 5811
gringo_4.5.4-4_amd64.buildinfo
b46b43d871a96d75b26d613831c8328ffc8f92132fa9bf5b92b54b0179482b2c 1844774
gringo_4.5.4-4_amd64.deb
Files:
f964c83c1c5511cccbfd43f42578489a 2070 interpreters extra gringo_4.5.4-4.dsc
9bbd7a869a75bc2a7e1b9714e2d1bcad 11340 interpreters extra
gringo_4.5.4-4.debian.tar.xz
d1accbf5c26102ab7ee5df67e5294a24 29928388 debug extra
gringo-dbgsym_4.5.4-4_amd64.deb
1777b0174fe3e8f54985624233faf49b 5811 interpreters extra
gringo_4.5.4-4_amd64.buildinfo
4569207229994c400aca1ee634c8db4a 1844774 interpreters extra
gringo_4.5.4-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlhIYTcACgkQJ5ffdKZm
mqkYxBAAhP0bNj8Ada8f6FtWZveo7lsYICEgWoCcSrwSk44FGxeO3WWDmkx4p0HG
/m+NCXDxB6Yy54mMBY6a3acgl7K4+bEVcWhxGzXaRsGjta2b++DkQ444ZwslSmqx
rn98wM/0gVcPgFumi/FzSOD6fGe/4YVjDN2UTLp6n1ZADkTudcfOsHTkyOkneJkK
Zv0zXY1uZd5lvN6vx4HLuP3rFAUYcaM3Pd92qJNLCTo3kzGW1RuMYFzBBjCUD36B
yeJJof9WM99Vp9ZQ2vDwGcFcrDQbzMonscxCjlmzHuGHYCLeqGitgYcaAiXWtZ5m
hyQ2yuTwPiu+nKWEK/0NVwcNtOnx5SMEzyEHkli1w3uUt9nBL2ScGKpm01cBzTIN
tLwW/ebGtDmIpb0i0dn/ueTo8uV884SzrSKl1dKDeO6+VRor/w7BgiZhhKVOZMqj
5Jyy2Rgak1spt651jGIAwgyLlTEYWNGRZ/0xPJbqxsTby4oI8taqb83pS/DmnpF5
bgkfYrOyq/NnzF0xrGUKF2LbhwKJfW+jj200dcCsaGRQxl9ToxyXmKQGk5GW4Dbf
IqL/Esi8y1resnzjDneYIU2vuhbcfNjI5BOUFGBmRJI5EKT2j6liyvIktq8mwhNr
zVp+eNn4U1v7aYJxchihJltBqhrIXr2a+GDRAwuJIXUPkBD5Kwg=
=bacj
-----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
