diff --git a/math/rumur/Makefile b/math/rumur/Makefile index b3697ddd2330..cb927295c530 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -1,30 +1,30 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2021.09.29 +DISTVERSION= 2021.12.27 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 diff --git a/math/rumur/distinfo b/math/rumur/distinfo index b25e081a773f..57fef99f5c8c 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1633073535 -SHA256 (Smattr-rumur-v2021.09.29_GH0.tar.gz) = e61eb820375168955da24dd29e03033991695606263fe040566d20158c3c8cde -SIZE (Smattr-rumur-v2021.09.29_GH0.tar.gz) = 313520 +TIMESTAMP = 1642036263 +SHA256 (Smattr-rumur-v2021.12.27_GH0.tar.gz) = ba6db80eaa8220c371838bb6ee7d444f7ebc136ad5f2da35bf162e81f72318e2 +SIZE (Smattr-rumur-v2021.12.27_GH0.tar.gz) = 313524