git: 3c616f34fa11 - main - math/clingo: Update 5.5.0 -> 5.5.1

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 18 Nov 2021 06:33:45 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=3c616f34fa11acfbe62d68e4ea62fd5343d37776

commit 3c616f34fa11acfbe62d68e4ea62fd5343d37776
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2021-11-18 03:29:54 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2021-11-18 06:33:40 +0000

    math/clingo: Update 5.5.0 -> 5.5.1
    
    Reported by:    portscout
---
 math/clingo/Makefile |  9 ++++-----
 math/clingo/distinfo | 12 +++++-------
 2 files changed, 9 insertions(+), 12 deletions(-)

diff --git a/math/clingo/Makefile b/math/clingo/Makefile
index c34236782af4..8d583c170bca 100644
--- a/math/clingo/Makefile
+++ b/math/clingo/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	clingo
 DISTVERSIONPREFIX=	v
-DISTVERSION=	5.5.0
+DISTVERSION=	5.5.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -14,8 +14,7 @@ BUILD_DEPENDS=	re2c:devel/re2c
 USES=		cmake compiler:c++14-lang
 USE_GITHUB=	yes
 GH_ACCOUNT=	potassco
-GH_TUPLE=	potassco:clasp:a8dfc0a:potassco_clasp/clasp \
-		potassco:libpotassco:2f9fb7ca2c202f1b47643aa414054f2f4f9c1821:potassco_libpotassco/clasp/libpotassco
+GH_TUPLE=	potassco:clasp:da10954:potassco_clasp/clasp
 
 USE_LDCONFIG=	yes
 
@@ -25,8 +24,8 @@ CMAKE_OFF+=	CLINGO_BUILD_WITH_LUA
 CONFLICTS_INSTALL=	clasp # only installs bin/clasp that is included in clingo
 
 do-test:
-	${ECHO} "Testing ${PORTNAME}: solving 15puzzle"
+	@${ECHO} "Testing ${PORTNAME}: solving 15puzzle"
 	@cd ${WRKSRC}/examples/clingo/15puzzle && \
-		${STAGEDIR}${PREFIX}/bin/clingo encoding.lp instance1.lp -c consecutive=0
+		LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib ${STAGEDIR}${PREFIX}/bin/clingo encoding.lp instance1.lp -c consecutive=0
 
 .include <bsd.port.mk>
diff --git a/math/clingo/distinfo b/math/clingo/distinfo
index 9cef14bc2b2c..5b508eaa0b87 100644
--- a/math/clingo/distinfo
+++ b/math/clingo/distinfo
@@ -1,7 +1,5 @@
-TIMESTAMP = 1619035809
-SHA256 (potassco-clingo-v5.5.0_GH0.tar.gz) = c9d7004a0caec61b636ad1c1960fbf339ef8fdee9719321fc1b6b210613a8499
-SIZE (potassco-clingo-v5.5.0_GH0.tar.gz) = 3027366
-SHA256 (potassco-clasp-a8dfc0a_GH0.tar.gz) = f96cf2baf9522e7a69a58cfe20f41aecf59b9509129e0ee4f6cb674ca89bd358
-SIZE (potassco-clasp-a8dfc0a_GH0.tar.gz) = 627911
-SHA256 (potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz) = 41eb8b7d87ecea48392de4ada455cda179cbd62fd63496355dea87e1e44b599f
-SIZE (potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz) = 210177
+TIMESTAMP = 1637203259
+SHA256 (potassco-clingo-v5.5.1_GH0.tar.gz) = b9cf2ba2001f8241b8b1d369b6f353e628582e2a00f13566e51c03c4dd61f67e
+SIZE (potassco-clingo-v5.5.1_GH0.tar.gz) = 3031728
+SHA256 (potassco-clasp-da10954_GH0.tar.gz) = 7e5854859cba46f2a2f07255e67ef0893cdb83ca61f3049f1e30ae44fcdcc80f
+SIZE (potassco-clasp-da10954_GH0.tar.gz) = 628353