diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-09-25 21:03:25 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-10-06 12:17:16 +0200 |
| commit | 7a3b9db47e1def4c57b1d84a705e358b15cc8729 (patch) | |
| tree | aa0f1bcabc9d348af9d5289edeeed00d959952d1 | |
| parent | a77f280b3496fcbef5595b6c429844537fb11bf0 (diff) | |
| download | guix-7a3b9db47e1def4c57b1d84a705e358b15cc8729.tar.gz | |
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.scm | 6 |
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. |