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: lingeling: Update to 1.0.0.

Browse source 
* gnu/packages/maths.scm (lingeling): Update to 1.0.0.
[#:phases]<hard-code-commit>: Adjust accordingly.
This commit is contained in:
Liliana Marie Prikler 2024-09-25 22:02:49 +02:00
parent 857c50d6e0
commit e2ff842ece
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 65 additions and 67 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

132
gnu/packages/maths.scm
View file

@ -9247,86 +9247,84 @@ (define-public libpoly
(license license:lgpl3+))) (license license:lgpl3+)))
(define-public lingeling (define-public lingeling
(let ((commit "72d2b13eea5fbd95557a3d0d199cd98dfbdc76ee") (package
(revision "1")) (name "lingeling")
(package (version "1.0.0")
(name "lingeling") (source (origin
(version (git-version "sc2022" revision commit))
(source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
(url "https://github.com/arminbiere/lingeling") (url "https://github.com/arminbiere/lingeling")
(commit commit))) (commit (string-append "rel-" version))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"16s30x8s2cw6icchwm65zj56ph4qwz6i07g3hwkknvajisvjq85c")))) "0hszkhyni7jcw580f41rrrnwz42x56sqvd8zpcjdagvdiag76lc1"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(arguments (arguments
(list #:test-target "test" (list #:test-target "test"
#:modules `((ice-9 match) #:modules `((ice-9 match)
,@%default-gnu-modules) ,@%default-gnu-modules)
#:configure-flags #~(list "--aiger=.") #:configure-flags #~(list "--aiger=.")
#:phases #:phases
#~(modify-phases %standard-phases #~(modify-phases %standard-phases
(add-after 'unpack 'unpack-aiger (add-after 'unpack 'unpack-aiger
(lambda* (#:key inputs #:allow-other-keys) (lambda* (#:key inputs #:allow-other-keys)
(invoke #$(ar-for-target) "x" (invoke #$(ar-for-target) "x"
(search-input-file inputs "lib/libaiger.a") (search-input-file inputs "lib/libaiger.a")
"aiger.o") "aiger.o")
(copy-file (copy-file
(search-input-file inputs "include/aiger/aiger.h") (search-input-file inputs "include/aiger/aiger.h")
"aiger.h"))) "aiger.h")))
(add-after 'unpack 'hard-code-commit (add-after 'unpack 'hard-code-commit
(lambda _ (lambda _
(substitute* "mkconfig.sh" (substitute* "mkconfig.sh"
(("`\\./getgitid`") #$commit)))) (("`\\./getgitid`") ""))))
(add-after 'unpack 'patch-source (add-after 'unpack 'patch-source
(lambda* (#:key inputs #:allow-other-keys) (lambda* (#:key inputs #:allow-other-keys)
(substitute* (list "treengeling.c" "lgldimacs.c") (substitute* (list "treengeling.c" "lgldimacs.c")
(("\"(gunzip|xz|bzcat|7z)" all cmd) (("\"(gunzip|xz|bzcat|7z)" all cmd)
(string-append (string-append
"\"" "\""
(search-input-file inputs (string-append "bin/" cmd))))))) (search-input-file inputs (string-append "bin/" cmd)))))))
(replace 'configure (replace 'configure
(lambda* (#:key configure-flags #:allow-other-keys) (lambda* (#:key configure-flags #:allow-other-keys)
(apply invoke "./configure.sh" configure-flags))) (apply invoke "./configure.sh" configure-flags)))
(replace 'install (replace 'install
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(let ((bin (string-append (assoc-ref outputs "out") (let ((bin (string-append (assoc-ref outputs "out")
"/bin"))) "/bin")))
(mkdir-p bin) (mkdir-p bin)
(for-each (for-each
(lambda (file) (lambda (file)
(install-file file bin)) (install-file file bin))
'("blimc" "ilingeling" "lglddtrace" "lglmbt" '("blimc" "ilingeling" "lglddtrace" "lglmbt"
"lgluntrace" "lingeling" "plingeling" "lgluntrace" "lingeling" "plingeling"
"treengeling"))))) "treengeling")))))
(add-after 'install 'wrap-path (add-after 'install 'wrap-path
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(with-directory-excursion (string-append (with-directory-excursion (string-append
(assoc-ref outputs "out") (assoc-ref outputs "out")
"/bin") "/bin")
(for-each (for-each
(lambda (file) (lambda (file)
(wrap-program (wrap-program
file file
'("PATH" suffix '("PATH" suffix
#$(map (lambda (input) #$(map (lambda (input)
(file-append (this-package-input input) "/bin")) (file-append (this-package-input input) "/bin"))
'("gzip" "bzip2" "xz" "p7zip"))))) '("gzip" "bzip2" "xz" "p7zip")))))
;; These programs use sprintf on buffers with magic ;; These programs use sprintf on buffers with magic
;; values to construct commands (yes, eww), so we ;; values to construct commands (yes, eww), so we
;; can't easily substitute* them. ;; can't easily substitute* them.
'("lglddtrace" "lgluntrace" "lingeling" "plingeling")))))))) '("lglddtrace" "lgluntrace" "lingeling" "plingeling"))))))))
(inputs (list `(,aiger "static") bash-minimal gzip bzip2 xz p7zip)) (inputs (list `(,aiger "static") bash-minimal gzip bzip2 xz p7zip))
(home-page "http://fmv.jku.at/lingeling") (home-page "http://fmv.jku.at/lingeling")
(synopsis "SAT solver") (synopsis "SAT solver")
(description "This package provides a range of SAT solvers, including (description "This package provides a range of SAT solvers, including
the sequential @command{lingeling} and its parallel variants the sequential @command{lingeling} and its parallel variants
@command{plingeling} and @command{treengeling}. A bounded model checker is @command{plingeling} and @command{treengeling}. A bounded model checker is
also included.") also included.")
(license license:expat)))) (license license:expat)))
(define-public louvain-community (define-public louvain-community
(let ((commit "8cc5382d4844af127b1c1257373740d7e6b76f1e") (let ((commit "8cc5382d4844af127b1c1257373740d7e6b76f1e")