aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2024-09-25 19:03:25 +0000
committerLiliana Marie Prikler <liliana.prikler@gmail.com>2024-10-06 10:17:16 +0000
commit7a3b9db47e1def4c57b1d84a705e358b15cc8729 (patch)
treeaa0f1bcabc9d348af9d5289edeeed00d959952d1
parenta77f280b3496fcbef5595b6c429844537fb11bf0 (diff)
downloadguix-7a3b9db47e1def4c57b1d84a705e358b15cc8729.tar
guix-7a3b9db47e1def4c57b1d84a705e358b15cc8729.tar.gz
guix-7a3b9db47e1def4c57b1d84a705e358b15cc8729.tar.bz2
guix-7a3b9db47e1def4c57b1d84a705e358b15cc8729.tar.lz
guix-7a3b9db47e1def4c57b1d84a705e358b15cc8729.tar.xz
guix-7a3b9db47e1def4c57b1d84a705e358b15cc8729.tar.zst
guix-7a3b9db47e1def4c57b1d84a705e358b15cc8729.zip
gnu: kissat: Update to 4.0.1.
* gnu/packages/maths.scm (kissat): Update to 4.0.1. [#:phases]<patch-source>: Relax regexp to fix test.
-rw-r--r--gnu/packages/maths.scm6
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index ba2bbd2b30..29cdc727b6 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9059,7 +9059,7 @@ researchers and developers alike to get started on SAT.")
(define-public kissat
(package
(name "kissat")
- (version "3.0.0")
+ (version "4.0.1")
(source
(origin
(method git-fetch)
@@ -9069,7 +9069,7 @@ researchers and developers alike to get started on SAT.")
(file-name (git-file-name name version))
(sha256
(base32
- "04x4w760srbdi4zci0s747qxk717x5d2x59ixraxh5104s9nyn8b"))))
+ "0acg61cfcjg13if2i375cyl4xvwmabhfhi9z8pnw971046am6bzv"))))
(build-system gnu-build-system)
(inputs (list xz gzip lzip bzip2 p7zip))
(arguments
@@ -9094,7 +9094,7 @@ researchers and developers alike to get started on SAT.")
"bool found = true;"))
(substitute* "test/testmain.c"
;; SIGINT is ignored inside invoke.
- (("^SIGNAL\\(SIGINT\\)") ""))))
+ (("^[ \t]*SIGNAL[ \t]*\\(SIGINT\\)") ""))))
(replace 'configure
(lambda* (#:key configure-flags #:allow-other-keys)
;; The configure script does not support standard GNU options.