diff --git a/math/rumur/Makefile b/math/rumur/Makefile index e46d5f78b0b3..0fa61cb84b57 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -1,32 +1,32 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2022.03.05 +DISTVERSION= 2022.08.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 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: @cd ${BUILD_WRKSRC} && \ ${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target check .include diff --git a/math/rumur/distinfo b/math/rumur/distinfo index e39d3e5ec2f6..6b0edf66d459 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1647200634 -SHA256 (Smattr-rumur-v2022.03.05_GH0.tar.gz) = fb7fe7a1d196f350884ec85bf5d14f9c1afb0a406e77a5a6c69d300c062c731e -SIZE (Smattr-rumur-v2022.03.05_GH0.tar.gz) = 313547 +TIMESTAMP = 1661109856 +SHA256 (Smattr-rumur-v2022.08.20_GH0.tar.gz) = 578eb763af192321d235e2d4cf463bf2a6cfd5de21f50d3f4e0c7b487d307575 +SIZE (Smattr-rumur-v2022.08.20_GH0.tar.gz) = 313720