diff options
| author | Sören Tempel <soeren+git@soeren-tempel.net> | 2025-10-10 08:00:31 +0200 |
|---|---|---|
| committer | Sharlatan Hellseher <sharlatanus@gmail.com> | 2025-10-10 23:17:40 +0100 |
| commit | 394a2accac3d9815eb47682fe4f1e4985e7932e0 (patch) | |
| tree | 82833240acaa99711f83cc07df192ae2fb5fa6f3 /gnu/packages/maths.scm | |
| parent | 6eb7198ab622d98a70cc7dfbb3f0ccba137888a9 (diff) | |
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>
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 5 |
1 files changed, 5 insertions, 0 deletions
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 |