blob: c6b0cd38697d7b1efc0f40eedf7d5af906f04fcc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
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 <bsd.port.mk>
|