git: b019e8f335cf - main - math/clingo: update 5.7.1 → 5.8.0
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 22 Mar 2026 19:28:37 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=b019e8f335cfac4b9b64460817cba8251fcf396a
commit b019e8f335cfac4b9b64460817cba8251fcf396a
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2026-03-22 16:41:44 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2026-03-22 19:28:35 +0000
math/clingo: update 5.7.1 → 5.8.0
---
math/clingo/Makefile | 21 ++++++++++++---------
math/clingo/distinfo | 32 +++++++++++++++++---------------
2 files changed, 29 insertions(+), 24 deletions(-)
diff --git a/math/clingo/Makefile b/math/clingo/Makefile
index 771eedd41789..38457ad0f115 100644
--- a/math/clingo/Makefile
+++ b/math/clingo/Makefile
@@ -1,8 +1,11 @@
PORTNAME= clingo
DISTVERSIONPREFIX= v
-DISTVERSION= 5.7.1
+DISTVERSION= 5.8.0
CATEGORIES= math
+PATCH_SITES= https://github.com/${GH_ACCOUNT}/${GH_PROJECT}/commit/
+PATCHFILES+= 92d7f44f5e7fc468af5b91f8c00135cf52caa5c2.patch:-p1 # fixes https://github.com/potassco/clingo/issues/606, https://github.com/potassco/clingo/issues/612
+
MAINTAINER= yuri@FreeBSD.org
COMMENT= Grounder and solver for logic programs
WWW= https://potassco.org/clingo/
@@ -10,8 +13,6 @@ WWW= https://potassco.org/clingo/
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE.md
-BROKEN= compilation fails: not compatible with the latest re2c, see https://github.com/potassco/clingo/issues/612
-
BUILD_DEPENDS= re2c:devel/re2c
USES= cmake:testing compiler:c++14-lang python:test
@@ -19,14 +20,14 @@ USE_LDCONFIG= yes
USE_GITHUB= yes
GH_ACCOUNT= potassco
-GH_TUPLE= potassco:clasp:3f3db1e:potassco_clasp/clasp \
- catchorg:Catch2:3f0283d:catch/third_party/catch \
- ckormanyos:wide-integer:4c9711b:wide_integer/third_party/wide-integer \
+GH_TUPLE= potassco:clasp:e51b9cf:potassco_clasp/clasp \
+ catchorg:Catch2:914aeec:catch/third_party/catch \
+ ckormanyos:wide-integer:c725651:wide_integer/third_party/wide-integer \
mpark:variant:23cb94f:variant/third_party/variant \
TartanLlama:optional:3a1209d:optional/third_party/optional \
- Tessil:hopscotch-map:d35aa8c:hopscotch_map/third_party/hopscotch-map \
- Tessil:ordered-map:0557eb5:ordered_map/third_party/ordered-map \
- Tessil:sparse-map:7ab2fa0:sparse_map/third_party/sparse-map
+ Tessil:hopscotch-map:75f0584:hopscotch_map/third_party/hopscotch-map \
+ Tessil:ordered-map:46adc0e:ordered_map/third_party/ordered-map \
+ Tessil:sparse-map:1bc4561:sparse_map/third_party/sparse-map
CMAKE_OFF= CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178
CMAKE_OFF+= CLINGO_BUILD_WITH_LUA
@@ -40,4 +41,6 @@ extra-test:
@cd ${WRKSRC}/examples/clingo/15puzzle && \
LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib ${STAGEDIR}${PREFIX}/bin/clingo encoding.lp instance1.lp -c consecutive=0
+# tests as of 5.8.0: 100% tests passed, 0 tests failed out of 4
+
.include <bsd.port.mk>
diff --git a/math/clingo/distinfo b/math/clingo/distinfo
index ccd7682cedb3..f6cd3fa1533f 100644
--- a/math/clingo/distinfo
+++ b/math/clingo/distinfo
@@ -1,19 +1,21 @@
-TIMESTAMP = 1713669549
-SHA256 (potassco-clingo-v5.7.1_GH0.tar.gz) = 544b76779676075bb4f557f05a015cbdbfbd0df4b2cc925ad976e86870154d81
-SIZE (potassco-clingo-v5.7.1_GH0.tar.gz) = 5339983
-SHA256 (potassco-clasp-3f3db1e_GH0.tar.gz) = a869aba971379b537bf9cbe606e7976f46251b6280f9f665ae2455e25c66f0ff
-SIZE (potassco-clasp-3f3db1e_GH0.tar.gz) = 679164
-SHA256 (catchorg-Catch2-3f0283d_GH0.tar.gz) = 1200c09a1fa333db605a04c48269a399f9849fef0ff9f2e151b733b06bb306e9
-SIZE (catchorg-Catch2-3f0283d_GH0.tar.gz) = 1102967
-SHA256 (ckormanyos-wide-integer-4c9711b_GH0.tar.gz) = 2f62cff1a5ea57ed261c63796847d16c66bc082988720caea35204d93404deee
-SIZE (ckormanyos-wide-integer-4c9711b_GH0.tar.gz) = 180804
+TIMESTAMP = 1774197552
+SHA256 (potassco-clingo-v5.8.0_GH0.tar.gz) = 4ddd5975e79d7a0f8d126039f1b923a371b1a43e0e0687e1537a37d6d6d5cc7c
+SIZE (potassco-clingo-v5.8.0_GH0.tar.gz) = 4496694
+SHA256 (potassco-clasp-e51b9cf_GH0.tar.gz) = abf774f12041f05b20c1e31409326848c45bdce1513759c74cb4bd0828b013be
+SIZE (potassco-clasp-e51b9cf_GH0.tar.gz) = 698569
+SHA256 (catchorg-Catch2-914aeec_GH0.tar.gz) = 91c9fa17f8d77f8c7a98d0d8f020300ecd2a7041ff71ca835a11d0f80bb58fb0
+SIZE (catchorg-Catch2-914aeec_GH0.tar.gz) = 1197324
+SHA256 (ckormanyos-wide-integer-c725651_GH0.tar.gz) = c06cdf52528aae4d78e0e936e22e4d04cabe3188c9affb5bd2cde5640e5193fb
+SIZE (ckormanyos-wide-integer-c725651_GH0.tar.gz) = 192028
SHA256 (mpark-variant-23cb94f_GH0.tar.gz) = e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f
SIZE (mpark-variant-23cb94f_GH0.tar.gz) = 33918
SHA256 (TartanLlama-optional-3a1209d_GH0.tar.gz) = b0bc5e955ed08a181ead21627d012fff5ce3ba015f4762d275cafc412ab1bae7
SIZE (TartanLlama-optional-3a1209d_GH0.tar.gz) = 22265
-SHA256 (Tessil-hopscotch-map-d35aa8c_GH0.tar.gz) = 0d3124f61e1144f29ce02074d2930f48a2e57e61f3b211c33ca3a7cac17ebf71
-SIZE (Tessil-hopscotch-map-d35aa8c_GH0.tar.gz) = 70742
-SHA256 (Tessil-ordered-map-0557eb5_GH0.tar.gz) = 96040c0403595ebfbea01fb0d043d3539ff842ecbf32765619fc61fcf1854991
-SIZE (Tessil-ordered-map-0557eb5_GH0.tar.gz) = 69345
-SHA256 (Tessil-sparse-map-7ab2fa0_GH0.tar.gz) = f68d10b5b95656f0d1f31a6602d17b0739fca3104e4a609caa06e1a510e8cee1
-SIZE (Tessil-sparse-map-7ab2fa0_GH0.tar.gz) = 72227
+SHA256 (Tessil-hopscotch-map-75f0584_GH0.tar.gz) = b6fa0a8858417660fafe6d9572721bc01a1d223925466792ff07637401331e1d
+SIZE (Tessil-hopscotch-map-75f0584_GH0.tar.gz) = 70655
+SHA256 (Tessil-ordered-map-46adc0e_GH0.tar.gz) = 15ee46e5c93e6898616d87e7904971839dd397d0eb2439a81bc2908c62c12f99
+SIZE (Tessil-ordered-map-46adc0e_GH0.tar.gz) = 69280
+SHA256 (Tessil-sparse-map-1bc4561_GH0.tar.gz) = 8458efd5b42d465a3ac63327fb4c8cfc1423fb30a4adbb6dcdceba86cb7a1607
+SIZE (Tessil-sparse-map-1bc4561_GH0.tar.gz) = 72109
+SHA256 (92d7f44f5e7fc468af5b91f8c00135cf52caa5c2.patch) = 4dc3b9f6caf1441b2200316d01f143147e96c470fba137d42cec2a0316028199
+SIZE (92d7f44f5e7fc468af5b91f8c00135cf52caa5c2.patch) = 1023081