# $FreeBSD$

PORTNAME=	rumur
DISTVERSIONPREFIX=	v
DISTVERSION=	2019.11.24
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>