From: Liliana Marie Prikler <liliana.prikler@gmail.com>
To: 73551@debbugs.gnu.org
Subject: [bug#73551] [PATCH 8/8] gnu: cryptominisat: Update to 5.11.22.
Date: Sun, 29 Sep 2024 11:08:20 +0200 [thread overview]
Message-ID: <cfcf1298b516a0ad3acb82c153b3572c4d4c8c45.1727601398.git.liliana.prikler@gmail.com> (raw)
In-Reply-To: <cover.1727601398.git.liliana.prikler@gmail.com>
* 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 e84a87db97..e809c62e18 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9463,7 +9463,7 @@ (define-public louvain-community
(define-public cryptominisat
(package
(name "cryptominisat")
- (version "5.11.4")
+ (version "5.11.22")
(source
(origin
(method git-fetch)
@@ -9473,7 +9473,12 @@ (define-public cryptominisat
(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
@@ -9497,7 +9502,15 @@ (define-public cryptominisat
"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
--
2.46.0
next prev parent reply other threads:[~2024-09-29 9:35 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-09-29 9:16 [bug#73551] [PATCH 0/8] Update some SAT/ASP solvers Liliana Marie Prikler
2024-09-25 19:03 ` [bug#73551] [PATCH 1/8] gnu: scasp: Update to 1.1.4 Liliana Marie Prikler
2024-09-25 19:03 ` [bug#73551] [PATCH 2/8] gnu: kissat: Update to 4.0.1 Liliana Marie Prikler
2024-09-25 19:55 ` [bug#73551] [PATCH 3/8] gnu: z3: Update to 4.13.0 Liliana Marie Prikler
2024-09-25 20:02 ` [bug#73551] [PATCH 4/8] gnu: lingeling: Update to 1.0.0 Liliana Marie Prikler
2024-09-29 9:00 ` [bug#73551] [PATCH 5/8] gnu: Add cadical Liliana Marie Prikler
2024-09-29 9:04 ` [bug#73551] [PATCH 6/8] gnu: Add cadiback Liliana Marie Prikler
2024-09-29 9:04 ` [bug#73551] [PATCH 7/8] gnu: Add cadiback-for-cryptominisat Liliana Marie Prikler
2024-09-29 9:08 ` Liliana Marie Prikler [this message]
2024-10-06 14:19 ` bug#73551: [PATCH 0/8] Update some SAT/ASP solvers Liliana Marie Prikler
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=cfcf1298b516a0ad3acb82c153b3572c4d4c8c45.1727601398.git.liliana.prikler@gmail.com \
--to=liliana.prikler@gmail.com \
--cc=73551@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.