ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 07:26:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: kissat: Update to 4.0.1.

Browse source 
* gnu/packages/maths.scm (kissat): Update to 4.0.1.
[#:phases]<patch-source>: Relax regexp to fix test.
This commit is contained in:
Liliana Marie Prikler 2024-09-25 21:03:25 +02:00
parent a77f280b34
commit 7a3b9db47e
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/maths.scm
View file

@ -9059,7 +9059,7 @@ (define-public minisat
(define-public kissat
(package
(name "kissat")
(version "3.0.0")
(version "4.0.1")
(source
(origin
(method git-fetch)
@ -9069,7 +9069,7 @@ (define-public kissat
(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 @@ (define-public kissat
"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.