git: 4601ba415d3d - main - math/{,py-}clingo: Update 5.6.1 → 5.6.2
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 20 Mar 2023 08:29:10 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=4601ba415d3d25ddbf4dffb9eac76efdc1a1674b
commit 4601ba415d3d25ddbf4dffb9eac76efdc1a1674b
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-03-20 07:07:27 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-03-20 08:29:04 +0000
math/{,py-}clingo: Update 5.6.1 → 5.6.2
Reported by: portscout
---
math/clingo/Makefile | 7 ++++---
math/clingo/distinfo | 10 +++++-----
math/py-clingo/Makefile | 2 +-
math/py-clingo/distinfo | 6 +++---
4 files changed, 13 insertions(+), 12 deletions(-)
diff --git a/math/clingo/Makefile b/math/clingo/Makefile
index 2f025e1d983b..9d34fcac2ffe 100644
--- a/math/clingo/Makefile
+++ b/math/clingo/Makefile
@@ -1,6 +1,6 @@
PORTNAME= clingo
DISTVERSIONPREFIX= v
-DISTVERSION= 5.6.1
+DISTVERSION= 5.6.2
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@@ -12,13 +12,13 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.md
BUILD_DEPENDS= re2c:devel/re2c
-USES= cmake:testing compiler:c++14-lang
+USES= cmake:testing compiler:c++14-lang python:test
USE_LDCONFIG= yes
USE_GITHUB= yes
GH_ACCOUNT= potassco
GH_TUPLE= potassco:clasp:4c708a7:potassco_clasp/clasp \
- catchorg:Catch2:62fd660:catch/third_party/catch \
+ catchorg:Catch2:97313f9:catch/third_party/catch \
mpark:variant:23cb94f:variant/third_party/variant \
TartanLlama:optional:c28fcf7:optional/third_party/optional \
Tessil:hopscotch-map:4442316:hopscotch_map/third_party/hopscotch-map \
@@ -27,6 +27,7 @@ GH_TUPLE= potassco:clasp:4c708a7:potassco_clasp/clasp \
CMAKE_OFF= CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178
CMAKE_OFF+= CLINGO_BUILD_WITH_LUA
+CMAKE_ARGS= -DPython_EXECUTABLE=${PYTHON_CMD}
CMAKE_TESTING_ON= CLINGO_BUILD_TESTS
CONFLICTS_INSTALL= clasp # only installs bin/clasp that is included in clingo
diff --git a/math/clingo/distinfo b/math/clingo/distinfo
index 2dd8d0b82057..27319d26d0f9 100644
--- a/math/clingo/distinfo
+++ b/math/clingo/distinfo
@@ -1,10 +1,10 @@
-TIMESTAMP = 1663473974
-SHA256 (potassco-clingo-v5.6.1_GH0.tar.gz) = fd94a8eadb0051abd0b7176e228404eeb93e0ad70307913a608aa4aa978fabec
-SIZE (potassco-clingo-v5.6.1_GH0.tar.gz) = 3736873
+TIMESTAMP = 1679293637
+SHA256 (potassco-clingo-v5.6.2_GH0.tar.gz) = 81eb7b14977ac57c97c905bd570f30be2859eabc7fe534da3cdc65eaca44f5be
+SIZE (potassco-clingo-v5.6.2_GH0.tar.gz) = 5079018
SHA256 (potassco-clasp-4c708a7_GH0.tar.gz) = 9dc6d49b017b970fbee62296bde2eed2b9e02b9d025458548f7fbf740c427968
SIZE (potassco-clasp-4c708a7_GH0.tar.gz) = 677863
-SHA256 (catchorg-Catch2-62fd660_GH0.tar.gz) = 6ffb927225dcae98bcb3f1af908f2cc5cd9a71cfdb29f7a3995aad1fd8336840
-SIZE (catchorg-Catch2-62fd660_GH0.tar.gz) = 661905
+SHA256 (catchorg-Catch2-97313f9_GH0.tar.gz) = 17678ecd174c70d77111d8dab966db168baa6362ee1e89910a51254e424f40c8
+SIZE (catchorg-Catch2-97313f9_GH0.tar.gz) = 1035855
SHA256 (mpark-variant-23cb94f_GH0.tar.gz) = e29ba09f184022095f558b043d85a61c1585020095c232e969dc1179a312de9f
SIZE (mpark-variant-23cb94f_GH0.tar.gz) = 33918
SHA256 (TartanLlama-optional-c28fcf7_GH0.tar.gz) = 6f9fdc78582d34bf50d7bb9379de3d5185a5dd93be664e0c01e9d54fcbe0872d
diff --git a/math/py-clingo/Makefile b/math/py-clingo/Makefile
index e4bc8a7519d8..73b42198358d 100644
--- a/math/py-clingo/Makefile
+++ b/math/py-clingo/Makefile
@@ -1,5 +1,5 @@
PORTNAME= clingo
-DISTVERSION= 5.6.1
+DISTVERSION= 5.6.2
CATEGORIES= math python
MASTER_SITES= PYPI
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
diff --git a/math/py-clingo/distinfo b/math/py-clingo/distinfo
index 56cad3d72399..92770e529427 100644
--- a/math/py-clingo/distinfo
+++ b/math/py-clingo/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1663474598
-SHA256 (clingo-5.6.1.tar.gz) = facdce78bcb30ae161a44e5dfbd811b769c1245ae7a1aaebb15ef90322753c3b
-SIZE (clingo-5.6.1.tar.gz) = 1805178
+TIMESTAMP = 1679294753
+SHA256 (clingo-5.6.2.tar.gz) = 7750f6e47bf2e725f93555cc9acd3b10d2ab73c2a3868e9eb6a098df9a6dd755
+SIZE (clingo-5.6.2.tar.gz) = 1807345