diff --git a/math/rumur/Makefile b/math/rumur/Makefile index b0c10f58e492..c6384e80949c 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -1,35 +1,35 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2026.03.11 +DISTVERSION= 2026.09.13 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Model checker, a formal verification tool for state machines WWW= https://github.com/Smattr/rumur 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: # the test command outputs only in the end of the run @cd ${BUILD_WRKSRC} && \ ${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target check # tests as of 2025.01.05: 2 failed, 5381 passed, 238 skipped in 1032.03s (0:17:12), see https://github.com/Smattr/rumur/issues/289 .include diff --git a/math/rumur/distinfo b/math/rumur/distinfo index a94d80c516c9..5db5dfb20bb9 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1773511840 -SHA256 (Smattr-rumur-v2026.03.11_GH0.tar.gz) = 62c05ed7b73dc31cea80bdcab3ec0ef7cdfe47af3cc03c5845d521b0494fb15d -SIZE (Smattr-rumur-v2026.03.11_GH0.tar.gz) = 355190 +TIMESTAMP = 1789694801 +SHA256 (Smattr-rumur-v2026.09.13_GH0.tar.gz) = f5cd322cae6af1473ce31ece08ff15e028f37f25da15973d88b87a3c77b995cd +SIZE (Smattr-rumur-v2026.09.13_GH0.tar.gz) = 378555 diff --git a/math/rumur/files/patch-CMakeLists.txt b/math/rumur/files/patch-CMakeLists.txt new file mode 100644 index 000000000000..25e5c311edee --- /dev/null +++ b/math/rumur/files/patch-CMakeLists.txt @@ -0,0 +1,11 @@ +--- CMakeLists.txt.orig 2026-09-18 01:29:25 UTC ++++ CMakeLists.txt +@@ -162,7 +162,7 @@ add_custom_target(check + "CPLUS_INCLUDE_PATH=${TEST_INC}" + "LIBRARY_PATH=${CMAKE_CURRENT_BINARY_DIR}/librumur" + "LD_LIBRARY_PATH=${CMAKE_CURRENT_BINARY_DIR}/librumur" +- python3 -m pytest --capture=no ++ python3 -m pytest --disable-plugin-autoload --capture=no + --override-ini=cache_dir=${CMAKE_CURRENT_BINARY_DIR} --verbose --verbose + ${CMAKE_CURRENT_SOURCE_DIR}/tests/tests.py + COMMENT "Running test suite" diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist index 703b92ac1ec9..7ae3178816c7 100644 --- a/math/rumur/pkg-plist +++ b/math/rumur/pkg-plist @@ -1,59 +1,63 @@ bin/murphi-format bin/murphi2c bin/murphi2murphi bin/murphi2smv bin/murphi2uclid bin/murphi2xml bin/rumur bin/rumur-run include/rumur/Boolean.h include/rumur/Comment.h include/rumur/Decl.h include/rumur/Expr.h include/rumur/Function.h include/rumur/Model.h include/rumur/Node.h include/rumur/Number.h include/rumur/Property.h include/rumur/Ptr.h include/rumur/Rule.h include/rumur/Stmt.h include/rumur/Symtab.h include/rumur/TypeExpr.h include/rumur/except.h include/rumur/indexer.h include/rumur/location.hh include/rumur/parse.h include/rumur/parser.yy.hh include/rumur/position.hh include/rumur/resolve-symbols.h include/rumur/rumur.h include/rumur/sanitise_rule_names.h include/rumur/scanner.h include/rumur/stack.hh include/rumur/traverse.h include/rumur/validate.h include/rumur/version.h lib/cmake/rumur/librumurConfig-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/rumur/librumurConfig.cmake lib/cmake/rumur/rumurConfig.cmake lib/librumur.so share/man/man1/murphi-format.1.gz share/man/man1/murphi2c.1.gz share/man/man1/murphi2murphi.1.gz share/man/man1/murphi2smv.1.gz share/man/man1/murphi2uclid.1.gz share/man/man1/murphi2xml.1.gz share/man/man1/rumur-run.1.gz share/man/man1/rumur.1.gz %%DATADIR%%/lib/README.rst %%DATADIR%%/lib/_list %%DATADIR%%/lib/_set %%DATADIR%%/lib/v2025.01.04/list %%DATADIR%%/lib/v2025.01.05/list %%DATADIR%%/lib/v2025.02.02/_list %%DATADIR%%/lib/v2025.02.02/_set %%DATADIR%%/lib/v2025.08.31/_list %%DATADIR%%/lib/v2025.08.31/_set %%DATADIR%%/lib/v2026.03.11/_list %%DATADIR%%/lib/v2026.03.11/_set +%%DATADIR%%/lib/v2026.08.30/_list +%%DATADIR%%/lib/v2026.08.30/_set +%%DATADIR%%/lib/v2026.09.13/_list +%%DATADIR%%/lib/v2026.09.13/_set