PORTNAME= clingcon DISTVERSIONPREFIX= v DISTVERSION= 5.2.0 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Extension of clingo to handle constraints over integers WWW= https://potassco.org/clingcon/ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.md LIB_DEPENDS= libclingo.so:math/clingo USES= cmake:testing compiler:c++17-lang USE_LDCONFIG= yes USE_GITHUB= yes GH_ACCOUNT= potassco CMAKE_OFF= PYCLINGCON_ENABLE CMAKE_TESTING_ON= CLINGCON_BUILD_TESTS .include