aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2024-09-29 09:08:20 +0000
committerLiliana Marie Prikler <liliana.prikler@gmail.com>2024-10-06 10:17:17 +0000
commit739b0a0fe1e24a351e5fda7216b19ab8604d8cb8 (patch)
tree70e85a27a2584d2ff41b7ea6ee46fb5d5c3c884e
parentcaaf6e98dfc04bda84b518968171627e96a14741 (diff)
downloadguix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar
guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar.gz
guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar.bz2
guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar.lz
guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar.xz
guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar.zst
guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.zip
gnu: cryptominisat: Update to 5.11.22.
* gnu/packages/maths.scm (cryptominisat): Update to 5.11.22. [source]: Patch include for cadiback. [inputs]: Add cadical, cadiback-for-cryptominisat and gmp.
-rw-r--r--gnu/packages/maths.scm19
1 files changed, 16 insertions, 3 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 112c2bcd66..4f5f5ce63e 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9499,7 +9499,7 @@ community detection algorithm.")
(define-public cryptominisat
(package
(name "cryptominisat")
- (version "5.11.4")
+ (version "5.11.22")
(source
(origin
(method git-fetch)
@@ -9509,7 +9509,12 @@ community detection algorithm.")
(file-name (git-file-name name version))
(sha256
(base32
- "1izjn44phjp9670s7bxrdx4p0r59idqwv3bm6sr0qnlqlha5z4zc"))))
+ "1c85gfqvy90yhh9jwmiiz2bz4i86prgpfyx1gbzl42hn2ixkcjgm"))
+ (modules '((guix build utils)))
+ (snippet
+ #~(begin
+ (substitute* "src/backbone.cpp"
+ (("\"\\.\\./cadiback/cadiback\\.h\"") "<cadiback.h>"))))))
(build-system cmake-build-system)
(arguments
(list
@@ -9533,7 +9538,15 @@ community detection algorithm.")
"find_package(GTest REQUIRED)")
(("add_subdirectory\\(\\$\\{PROJECT_SOURCE_DIR\\}/utils/.*\\)")
"")))))))
- (inputs (list boost louvain-community python python-numpy sqlite zlib))
+ (inputs (list boost
+ cadical
+ cadiback-for-cryptominisat
+ gmp
+ louvain-community
+ python
+ python-numpy
+ sqlite
+ zlib))
(native-inputs (list googletest lingeling python python-wrapper python-lit))
(synopsis "Incremental SAT solver")
(description