blob: cf8b47c8c613893bb32e38ff23a851cd77a37c40 (
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
27
28
29
30
31
|
PORTNAME= rumur
DISTVERSIONPREFIX= v
DISTVERSION= 2020.12.20
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:build shebangfix
SHEBANG_FILES= rumur/src/rumur-run
SHEBANG_GLOB= *.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= python3=${PYTHON_CMD}
do-test:
@cd ${BUILD_WRKSRC} && \
${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target check
.include <bsd.port.mk>
|
