ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 07:26:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add cadiback-for-cryptominisat.

Browse source 
* gnu/packages/maths.scm (cadiback-for-cryptominisat): New variable.
This commit is contained in:
Liliana Marie Prikler 2024-09-29 11:04:20 +02:00
parent ea8ef0f878
commit caaf6e98df
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 29 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
gnu/packages/maths.scm
View file

@ -9436,6 +9436,35 @@ (define-public cadiback
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"))