blob: fd32779b9d4ca4b8aae672f4d8e5ec448a89897f (
plain)
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
27
28
29
30
31
32
|
# $FreeBSD$
PORTNAME= rumur
DISTVERSIONPREFIX= v
DISTVERSION= 2019.07.21
PORTREVISION= 1
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Model checker, a formal verification tool for state machines
LICENSE= PD
LICENSE_FILE= ${WRKSRC}/LICENSE
LIB_DEPENDS= libgmpxx.so:math/gmp
USES= bison cmake compiler:c++11-lang python shebangfix
SHEBANG_FILES= rumur/src/rumur-run tests/integration-tests.py
USE_GITHUB= yes
GH_ACCOUNT= Smattr
USE_LDCONFIG= yes
CMAKE_ON= BUILD_SHARED_LIBS
CMAKE_ARGS= BISON_EXECUTABLE:STRING=${LOCALBASE}/bin/bison
BINARY_ALIAS= python=${PYTHON_CMD}
do-test:
@cd ${BUILD_WRKSRC} && \
${WRKSRC}/tests/integration-tests.py --verbose
.include <bsd.port.mk>
|
