blob: b974b9c0cfab60a5aea7b1e0b881ab61bd18d069 (
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
25
26
|
PORTNAME= clingo
DISTVERSIONPREFIX= v
DISTVERSION= 5.4.1
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: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
CMAKE_OFF+= CLINGO_BUILD_WITH_LUA
.include <bsd.port.mk>
|
