~ruther/guix-local

394a2accac3d9815eb47682fe4f1e4985e7932e0 — Sören Tempel 5 months ago 6eb7198 
gnu: kissat: Make build reproducible.

* gnu/packages/maths.scm (kissat)[#:phases] <patch-source>: Don't
include current date in build-header.

Change-Id: Iae8dde38de8badb2f5975f69b2221faebd043371
Reviewed-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
patch browse .tar.gz 
1 files changed, 5 insertions(+), 0 deletions(-)

M gnu/packages/maths.scm

M gnu/packages/maths.scm => gnu/packages/maths.scm +5 -0
@@ 9888,6 9888,11 @@ researchers and developers alike to get started on SAT.")
      #~(modify-phases %standard-phases
          (add-after 'unpack 'patch-source
            (lambda* (#:key inputs #:allow-other-keys)
              (substitute* "scripts/generate-build-header.sh"
                ;; by default BUILD includes the build date which
                ;; makes the build not reproducible.
                (("^BUILD=.*$")
                 "BUILD=guix\n"))
              (substitute* "src/file.c"
                (("(bzip2|gzip|lzma|xz) -c" all cmd)
                 (string-append (search-input-file inputs