From a3de85db2943861256774799baa241ea0f3f6711 Mon Sep 17 00:00:00 2001 From: Liliana Marie Prikler Date: Sat, 24 Feb 2024 08:54:10 +0100 Subject: [PATCH] gnu: clingo: Update to 5.7.1. * gnu/packages/potassco.scm (clingo): Update to 5.7.1. --- gnu/packages/potassco.scm | 11 +++++++---- 1 file 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.")