blob: c6216c1926df8e44e7a0cfa1c7debd54fa0ca222 (
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
32
33
|
PORTNAME= rumur
DISTVERSIONPREFIX= v
DISTVERSION= 2024.07.14
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
COMMENT= Model checker, a formal verification tool for state machines
WWW= https://github.com/Smattr/rumur
LICENSE= PD
LICENSE_FILE= ${WRKSRC}/LICENSE
LIB_DEPENDS= libgmpxx.so:math/gmp
USES= bison cmake compiler:c++11-lang python:build shebangfix
USE_LDCONFIG= yes
SHEBANG_FILES= rumur/src/rumur-run
SHEBANG_GLOB= *.py
USE_GITHUB= yes
GH_ACCOUNT= Smattr
CMAKE_ON= BUILD_SHARED_LIBS
CMAKE_ARGS= BISON_EXECUTABLE:STRING=${LOCALBASE}/bin/bison
BINARY_ALIAS= python3=${PYTHON_CMD}
do-test: # the test command outputs only in the end of the run
@cd ${BUILD_WRKSRC} && \
${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target check
.include <bsd.port.mk>
|
