aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLiliana Marie Prikler <liliana.prikler@gmail.com>2024-09-29 09:04:20 +0000
committerLiliana Marie Prikler <liliana.prikler@gmail.com>2024-10-06 10:17:17 +0000
commitcaaf6e98dfc04bda84b518968171627e96a14741 (patch)
treed967909f5907cb2e240484be67f3f97586f249a3
parentea8ef0f87850c8e2dbeb48ff7f79d26069278ee2 (diff)
downloadguix-caaf6e98dfc04bda84b518968171627e96a14741.tar
guix-caaf6e98dfc04bda84b518968171627e96a14741.tar.gz
guix-caaf6e98dfc04bda84b518968171627e96a14741.tar.bz2
guix-caaf6e98dfc04bda84b518968171627e96a14741.tar.lz
guix-caaf6e98dfc04bda84b518968171627e96a14741.tar.xz
guix-caaf6e98dfc04bda84b518968171627e96a14741.tar.zst
guix-caaf6e98dfc04bda84b518968171627e96a14741.zip
gnu: Add cadiback-for-cryptominisat.
* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable.
-rw-r--r--gnu/packages/maths.scm29
1 files changed, 29 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index f72ec8fcbc..112c2bcd66 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -9436,6 +9436,35 @@ a satisfiable formula. The backbone is the set of literals that are set to
true in all models.")
(license license:expat))))
+(define cadiback-for-cryptominisat
+ (let ((commit "ea65a9442fc2604ee5f4ffd0f0fdd0bf481d5b42")
+ (revision "1"))
+ (package
+ (inherit cadiback)
+ (name "cadiback-for-cryptominisat")
+ (version (git-version "0.2.1" revision commit))
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/meelgroup/cadiback")
+ (commit commit)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "1zznrlj4zp1mc7s4pfw11aq773q2lr9yl6pph630zg5mqijaim5g"))))
+ (arguments
+ (substitute-keyword-arguments (package-arguments cadiback)
+ ((#:phases phases)
+ #~(modify-phases #$phases
+ (add-after 'patch-build-files 'fix-prefix
+ (lambda _
+ (substitute* "makefile.in"
+ (("/usr") #$output))))
+ (replace 'install
+ (lambda args
+ (mkdir-p (string-append #$output "/include"))
+ (mkdir-p (string-append #$output "/lib"))
+ (apply (assoc-ref %standard-phases 'install) args))))))))))
+
(define-public louvain-community
(let ((commit "8cc5382d4844af127b1c1257373740d7e6b76f1e")
(revision "1"))