diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-09-29 11:08:20 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-10-06 12:17:17 +0200 |
| commit | 739b0a0fe1e24a351e5fda7216b19ab8604d8cb8 (patch) | |
| tree | 70e85a27a2584d2ff41b7ea6ee46fb5d5c3c884e | |
| parent | caaf6e98dfc04bda84b518968171627e96a14741 (diff) | |
| download | guix-739b0a0fe1e24a351e5fda7216b19ab8604d8cb8.tar.gz 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.scm | 19 |
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 |