From 394a2accac3d9815eb47682fe4f1e4985e7932e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Tempel?= <soeren+git@soeren-tempel.net>
Date: Fri, 10 Oct 2025 08:00:31 +0200
Subject: [PATCH] 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>
---
 gnu/packages/maths.scm | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 82d878592ac..cb8d2742c8a 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