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>