[gringo] 05/06: add reproducible-build.patch (Closes: #844096)

[Thomas Krennwallner]

This is an automated email from the git hooks/post-receive script.

tkren-guest pushed a commit to branch devel
in repository gringo.

commit f40a9ca713008543f54894ef99cba486b447a684
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Wed Dec 7 08:22:43 2016 +0100

    add reproducible-build.patch (Closes: #844096)
---
 debian/patches/reproducible-build.patch | 24 ++++++++++++++++++++++++
 debian/patches/series                   |  1 +
 2 files changed, 25 insertions(+)

diff --git a/debian/patches/reproducible-build.patch b/debian/patches/reproducible-build.patch
new file mode 100644
index 0000000..f11ab72
--- /dev/null
+++ b/debian/patches/reproducible-build.patch
@@ -0,0 +1,24 @@
+From: Reiner Herrmann <reiner at reiner-h.de>
+Date: Wed, 7 Dec 2016 08:08:36 +0100
+Subject: Sort source files for deterministic linking order
+Origin: vendor, https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844096;msg=5
+Bug-Debian: https://bugs.debian.org/844096
+
+===================================================================
+---
+ SConscript | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/SConscript b/SConscript
+index f12973d..4ef932b 100644
+--- a/SConscript
++++ b/SConscript
+@@ -43,7 +43,7 @@ def find_files(env, path):
+                     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

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gringo.git