Source: cryptominisat
Version: 5.7.1+dfsg1-1
Severity: wishlist
Tags: patch
User: reproducible-bui...@lists.alioth.debian.org
Usertags: buildpath
X-Debbugs-Cc: reproducible-b...@lists.alioth.debian.org
Hi,
Whilst working on the Reproducible Builds effort [0] we noticed that
cryptominisat could not be built reproducibly.
This is because it embedded the build path via including the CXXFLAGS
in the binary. Patch attached that just strips these out.
[0] https://reproducible-builds.org/
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` la...@debian.org / chris-lamb.co.uk
`-
--- a/debian/patches/reproducible-build.patch 1970-01-01 01:00:00.000000000
+0100
--- b/debian/patches/reproducible-build.patch 2020-05-12 09:00:16.620944436
+0100
@@ -0,0 +1,14 @@
+Description: Make the build reproducible
+Author: Chris Lamb <la...@debian.org>
+Last-Update: 2020-05-12
+
+--- cryptominisat-5.7.1+dfsg1.orig/src/GitSHA1.cpp.in
++++ cryptominisat-5.7.1+dfsg1/src/GitSHA1.cpp.in
+@@ -38,7 +38,6 @@ const char* CMSat::get_compilation_env()
+ {
+ static const char compilation_env[] =
+ "CMAKE_CXX_COMPILER = @CMAKE_CXX_COMPILER@ | "
+- "CMAKE_CXX_FLAGS = @CMAKE_CXX_FLAGS@ | "
+ "COMPILE_DEFINES = @COMPILE_DEFINES@ | "
+ "STATICCOMPILE = @STATICCOMPILE@ | "
+ "ONLY_SIMPLE = @ONLY_SIMPLE@ | "
--- a/debian/patches/series 1970-01-01 01:00:00.000000000 +0100
--- b/debian/patches/series 2020-05-12 09:00:15.492936011 +0100
@@ -0,0 +1 @@
+reproducible-build.patch
