diff options
Diffstat (limited to 'math/clingo/Makefile')
| -rw-r--r-- | math/clingo/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/math/clingo/Makefile b/math/clingo/Makefile index 6b29e8827781..abe83ea1f838 100644 --- a/math/clingo/Makefile +++ b/math/clingo/Makefile @@ -2,7 +2,7 @@ PORTNAME= clingo DISTVERSIONPREFIX= v -DISTVERSION= 5.4.0 +DISTVERSION= 5.4.1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -16,7 +16,9 @@ BUILD_DEPENDS= re2c:devel/re2c USES= cmake compiler:c++14-lang USE_GITHUB= yes GH_ACCOUNT= potassco -GH_TUPLE= potassco:clasp:c183473:clasp/clasp +GH_TUPLE= potassco:clasp:b089aa1509511ab403c0b9abd0d13eb9e873af44:potassco_clasp/clasp \ + potassco:libpotassco:2f9fb7ca2c202f1b47643aa414054f2f4f9c1821:potassco_libpotassco/clasp/libpotassco + USE_LDCONFIG= yes CMAKE_OFF= CLINGO_BUILD_WITH_PYTHON # broken, see https://github.com/potassco/clingo/issues/178 |