me/guix
Archived
1
0
Fork 0
Code Activity

gnu: clingo: Update to 5.6.2.

Browse source 
* gnu/packages/maths.scm (clingo): Update to 5.6.2.
[source]: Unbundle clasp and catch.
[arguments]<#:configure-flags>: Add “-DCLINGO_USE_LOCAL_CLASP=off” and
“-DCLINGO_USE_LOCAL_CATCH=off”.
[inputs]: Add catch2-3.1.
[native-inputs]: Add pkg-config.
This commit is contained in:
Liliana Marie Prikler 2022-12-08 09:33:05 +01:00
parent 407b4f5661
commit 188269f062
No known key found for this signature in database
GPG key ID: 442A84B8C70E2F87
1 changed files with 12 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
gnu/packages/maths.scm
View file

@ -2626,27 +2626,30 @@ satisfiability checking (SAT).")
(define-public clingo (define-public clingo
(package (package
(name "clingo") (name "clingo")
(version "5.5.0") (version "5.6.2")
(source (origin (source (origin
(method git-fetch) (method git-fetch)
(uri (git-reference (uri (git-reference
(url "https://github.com/potassco/clingo") (url "https://github.com/potassco/clingo")
(commit (string-append "v" version)))) (commit (string-append "v" version))))
(file-name (git-file-name name version)) (file-name (git-file-name name version))
(modules '((guix build utils)))
(snippet
#~(begin
(delete-file-recursively "clasp")
;; TODO: Unvendor other third-party stuff
(delete-file-recursively "third_party/catch")))
(sha256 (sha256
(base32 (base32
"0rfjwkcwm0mmf3r4i7asyjwb6cia4i7px7fn2kdbi9j85qvas4pb")))) "19s59ndcm2yj0kxlikfxnx2bmp6b7n31wq1zvwc7hyk37rqarwys"))))
(build-system cmake-build-system) (build-system cmake-build-system)
(arguments (arguments
`(#:configure-flags `("-DCLINGO_BUILD_TESTS=on" `(#:configure-flags `("-DCLINGO_BUILD_TESTS=on"
"-DCLINGO_INSTALL_LIB=on" "-DCLINGO_INSTALL_LIB=on"
"-DCLINGO_BUILD_STATIC=off" "-DCLINGO_BUILD_STATIC=off"
"-DCLINGO_BUILD_SHARED=on" "-DCLINGO_BUILD_SHARED=on"
;; XXX: Clingo requries private headers and "-DCLINGO_USE_LOCAL_CLASP=off"
;; sources from clasp "-DCLINGO_USE_LOCAL_CATCH=off")
,(string-append
"-DCLASP_SOURCE_DIR="
(assoc-ref %build-inputs "clasp-src")))
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(add-after 'unpack 'patch-cmake (add-after 'unpack 'patch-cmake
@ -2678,10 +2681,8 @@ satisfiability checking (SAT).")
"unpool-ast-v2" "parse_term" "unpool-ast-v2" "parse_term"
"propagator" "propgator-sequence-mining" "propagator" "propgator-sequence-mining"
"symbol" "visitor")))))))))) "symbol" "visitor"))))))))))
(inputs (inputs (list catch2-3.1 clasp libpotassco))
(list clasp libpotassco)) (native-inputs (list pkg-config))
(native-inputs
`(("clasp-src" ,(package-source clasp))))
(home-page "https://potassco.org/") (home-page "https://potassco.org/")
(synopsis "Grounder and solver for logic programs") (synopsis "Grounder and solver for logic programs")
(description "Clingo computes answer sets for a given logic program.") (description "Clingo computes answer sets for a given logic program.")