diff --git a/math/rumur/Makefile b/math/rumur/Makefile index cb927295c530..e46d5f78b0b3 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -1,30 +1,32 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2021.12.27 +DISTVERSION= 2022.03.05 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 -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 57fef99f5c8c..e39d3e5ec2f6 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1642036263 -SHA256 (Smattr-rumur-v2021.12.27_GH0.tar.gz) = ba6db80eaa8220c371838bb6ee7d444f7ebc136ad5f2da35bf162e81f72318e2 -SIZE (Smattr-rumur-v2021.12.27_GH0.tar.gz) = 313524 +TIMESTAMP = 1647200634 +SHA256 (Smattr-rumur-v2022.03.05_GH0.tar.gz) = fb7fe7a1d196f350884ec85bf5d14f9c1afb0a406e77a5a6c69d300c062c731e +SIZE (Smattr-rumur-v2022.03.05_GH0.tar.gz) = 313547