diff --git a/math/clingo/Makefile b/math/clingo/Makefile index 8d583c170bca..643aaa62c4e9 100644 --- a/math/clingo/Makefile +++ b/math/clingo/Makefile @@ -1,31 +1,31 @@ PORTNAME= clingo DISTVERSIONPREFIX= v -DISTVERSION= 5.5.1 +DISTVERSION= 5.5.2 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Grounder and solver for logic programs LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.md BUILD_DEPENDS= re2c:devel/re2c USES= cmake compiler:c++14-lang USE_GITHUB= yes GH_ACCOUNT= potassco -GH_TUPLE= potassco:clasp:da10954:potassco_clasp/clasp +GH_TUPLE= potassco:clasp:17c4e46:potassco_clasp/clasp USE_LDCONFIG= yes CMAKE_OFF= CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178 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" @cd ${WRKSRC}/examples/clingo/15puzzle && \ LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib ${STAGEDIR}${PREFIX}/bin/clingo encoding.lp instance1.lp -c consecutive=0 .include diff --git a/math/clingo/distinfo b/math/clingo/distinfo index 5b508eaa0b87..19cc4914d235 100644 --- a/math/clingo/distinfo +++ b/math/clingo/distinfo @@ -1,5 +1,5 @@ -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 +TIMESTAMP = 1651730211 +SHA256 (potassco-clingo-v5.5.2_GH0.tar.gz) = a2a0a590485e26dce18860ac002576232d70accc5bfcb11c0c22e66beb23baa6 +SIZE (potassco-clingo-v5.5.2_GH0.tar.gz) = 3136393 +SHA256 (potassco-clasp-17c4e46_GH0.tar.gz) = fe65a7580849948daf00343a5f9fb92a495aee9a8daf61eb63d86a9d36cbaec6 +SIZE (potassco-clasp-17c4e46_GH0.tar.gz) = 677901