diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-02-24 08:54:10 +0100 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-03-02 08:00:14 +0100 |
| commit | a3de85db2943861256774799baa241ea0f3f6711 (patch) | |
| tree | 2edda03cb674b173e7a0f97e81fb70ad3171316a | |
| parent | 9aabeb11a0ce5d4af9a48f9f81229a956bcb7b48 (diff) | |
gnu: clingo: Update to 5.7.1.
* gnu/packages/potassco.scm (clingo): Update to 5.7.1.
| -rw-r--r-- | gnu/packages/potassco.scm | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gnu/packages/potassco.scm b/gnu/packages/potassco.scm index 05d5a3b754..602d0455d2 100644 --- a/gnu/packages/potassco.scm +++ b/gnu/packages/potassco.scm @@ -146,7 +146,7 @@ satisfiability checking (SAT).") (define-public clingo (package (name "clingo") - (version "5.6.2") + (version "5.7.1") (source (origin (method git-fetch) (uri (git-reference @@ -160,7 +160,7 @@ satisfiability checking (SAT).") (delete-file-recursively "third_party"))) (sha256 (base32 - "19s59ndcm2yj0kxlikfxnx2bmp6b7n31wq1zvwc7hyk37rqarwys")))) + "1mxl3gwx55sf2ifcb92mfy989c50yqpnq0d0r2mxdqr0riy40hjb")))) (build-system cmake-build-system) (arguments (list @@ -184,6 +184,7 @@ satisfiability checking (SAT).") "find_package(mpark_variant)\n" "find_package(tsl-sparse-map)\n" "find_package(tsl-ordered-map)\n" + "find_package(wide-integer)\n" "find_package(Catch2 3 REQUIRED)"))) (substitute* "libclingo/CMakeLists.txt" (("\"cmake/Clingo\"") "\"cmake/clingo\"") @@ -191,7 +192,8 @@ satisfiability checking (SAT).") (("ClingoConfigVersion\\.cmake") "clingo-config-version.cmake")) (substitute* "libgringo/CMakeLists.txt" - (("mpark::variant") "mpark_variant")) + (("mpark::variant") "mpark_variant") + (("math::wide_integer") "wide-integer::wide-integer")) (substitute* "cmake/ClingoConfig.cmake.in" (("find_package\\(Clasp") "find_package(clasp")) (rename-file "cmake/ClingoConfig.cmake.in" @@ -217,7 +219,8 @@ satisfiability checking (SAT).") tl-optional tsl-hopscotch-map tsl-ordered-map - tsl-sparse-map)) + tsl-sparse-map + wide-integer)) (home-page "https://potassco.org/") (synopsis "Grounder and solver for logic programs") (description "Clingo computes answer sets for a given logic program.") |