guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 394a2accac3d9815eb47682fe4f1e4985e7932e0
Author: Sören Tempel <[email protected]>
AuthorDate: Fri Oct 10 08:00:31 2025 +0200
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 <[email protected]>
Signed-off-by: Sharlatan Hellseher <[email protected]>
---
gnu/packages/maths.scm | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 82d878592a..cb8d2742c8 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -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
