From 739b0a0fe1e24a351e5fda7216b19ab8604d8cb8 Mon Sep 17 00:00:00 2001 From: Liliana Marie Prikler Date: Sun, 29 Sep 2024 11:08:20 +0200 Subject: 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. --- gnu/packages/maths.scm | 19 ++++++++++++++++--- 1 file 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\"") "")))))) (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 -- cgit v1.2.3