Bug#960388: cryptominisat: please make the build reproducible

[Chris Lamb]

Source: cryptominisat
Version: 5.7.1+dfsg1-1
Severity: wishlist
Tags: patch
User: reproducible-builds at lists.alioth.debian.org
Usertags: buildpath
X-Debbugs-Cc: reproducible-bugs at 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
     `. `'`      lamby at debian.org / chris-lamb.co.uk
       `-
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: cryptominisat.diff.txt
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20200512/10228325/attachment.txt>