diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2022-12-08 09:33:05 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2022-12-15 16:55:51 +0100 |
| commit | 188269f06252d746e5015b3e4c80db7cfd7018e1 (patch) | |
| tree | 7d18a6eee75f6c85726a962cd446c82249b7c5c0 /gnu/packages/maths.scm | |
| parent | 407b4f5661ea806ddc1056b35722fd551237f87d (diff) | |
| download | guix-188269f06252d746e5015b3e4c80db7cfd7018e1.tar.gz | |
gnu: clingo: Update to 5.6.2.
* 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.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index aee050735e..147d3ac0ac 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -2626,27 +2626,30 @@ satisfiability checking (SAT).") (define-public clingo (package (name "clingo") - (version "5.5.0") + (version "5.6.2") (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/potassco/clingo") (commit (string-append "v" 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 (base32 - "0rfjwkcwm0mmf3r4i7asyjwb6cia4i7px7fn2kdbi9j85qvas4pb")))) + "19s59ndcm2yj0kxlikfxnx2bmp6b7n31wq1zvwc7hyk37rqarwys")))) (build-system cmake-build-system) (arguments `(#:configure-flags `("-DCLINGO_BUILD_TESTS=on" "-DCLINGO_INSTALL_LIB=on" "-DCLINGO_BUILD_STATIC=off" "-DCLINGO_BUILD_SHARED=on" - ;; XXX: Clingo requries private headers and - ;; sources from clasp - ,(string-append - "-DCLASP_SOURCE_DIR=" - (assoc-ref %build-inputs "clasp-src"))) + "-DCLINGO_USE_LOCAL_CLASP=off" + "-DCLINGO_USE_LOCAL_CATCH=off") #:phases (modify-phases %standard-phases (add-after 'unpack 'patch-cmake @@ -2678,10 +2681,8 @@ satisfiability checking (SAT).") "unpool-ast-v2" "parse_term" "propagator" "propgator-sequence-mining" "symbol" "visitor")))))))))) - (inputs - (list clasp libpotassco)) - (native-inputs - `(("clasp-src" ,(package-source clasp)))) + (inputs (list catch2-3.1 clasp libpotassco)) + (native-inputs (list pkg-config)) (home-page "https://potassco.org/") (synopsis "Grounder and solver for logic programs") (description "Clingo computes answer sets for a given logic program.") |