Date: Sat, 14 Mar 2026 19:35:00 +0000 From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 0b720c446810 - main - math/rumur: update 2025.0=?utf-8?Q?8.31 =E2=86=92?= 2026.03.11 Message-ID: <69b5b864.39d83.40de6cda@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=0b720c446810a6f8090bd0733d2c83f2639a3763 commit 0b720c446810a6f8090bd0733d2c83f2639a3763 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2026-03-14 18:55:25 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2026-03-14 19:34:24 +0000 math/rumur: update 2025.08.31 → 2026.03.11 Reported by: portscout --- math/rumur/Makefile | 2 +- math/rumur/distinfo | 6 ++-- math/rumur/files/patch-tests_tests.py | 56 +++++++++++++++++++++++++++++++++++ math/rumur/pkg-plist | 2 ++ 4 files changed, 62 insertions(+), 4 deletions(-) diff --git a/math/rumur/Makefile b/math/rumur/Makefile index eed17408c9d6..b0c10f58e492 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -1,6 +1,6 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2025.08.31 +DISTVERSION= 2026.03.11 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/rumur/distinfo b/math/rumur/distinfo index 349a57374998..a94d80c516c9 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1762710274 -SHA256 (Smattr-rumur-v2025.08.31_GH0.tar.gz) = 5be73475ec4dd9f59596c62e84a428ebe1efead9b8ded4e9bfda70c4b07651ce -SIZE (Smattr-rumur-v2025.08.31_GH0.tar.gz) = 354447 +TIMESTAMP = 1773511840 +SHA256 (Smattr-rumur-v2026.03.11_GH0.tar.gz) = 62c05ed7b73dc31cea80bdcab3ec0ef7cdfe47af3cc03c5845d521b0494fb15d +SIZE (Smattr-rumur-v2026.03.11_GH0.tar.gz) = 355190 diff --git a/math/rumur/files/patch-tests_tests.py b/math/rumur/files/patch-tests_tests.py new file mode 100644 index 000000000000..c2c9b2a9387b --- /dev/null +++ b/math/rumur/files/patch-tests_tests.py @@ -0,0 +1,56 @@ +--- tests/tests.py.orig2026-03-14 18:12:00 UTC ++++ tests/tests.py +@@ -431,7 +431,7 @@ def print_info(): + print(" smt_args() = {}".format(smt_args())) + + +-def parse_test_options( ++def _parse_test_options( + src, debug=False, multithreaded=False, xml=False + ): # pylint:disable=unused-argument + """ +@@ -1104,7 +1104,7 @@ def test_murphi2c(model): + """test cases for murphi2c""" + + testcase = Path(__file__).parent / model +- tweaks = dict(parse_test_options(testcase)) ++ tweaks = dict(_parse_test_options(testcase)) + + # there is no C equivalent of isundefined, because an implicit assumption in the C + # representation is that you do not rely on undefined values +@@ -1151,7 +1151,7 @@ def test_murphi2c_header(model, tmp_path): + """test cases for murphi2c --header""" + + testcase = Path(__file__).parent / model +- tweaks = dict(parse_test_options(testcase)) ++ tweaks = dict(_parse_test_options(testcase)) + + # there is no C equivalent of isundefined, because an implicit assumption in the C + # representation is that you do not rely on undefined values +@@ -1216,7 +1216,7 @@ def test_murphi2xml(model): + """test cases for murphi2xml""" + + testcase = Path(__file__).parent / model +- tweaks = dict(parse_test_options(testcase)) ++ tweaks = dict(_parse_test_options(testcase)) + + args = ["murphi2xml", "--", testcase] + if has_valgrind(): +@@ -1257,7 +1257,7 @@ def test_murphi2uclid(model, tmp_path): + """test cases for murphi2uclid""" + + testcase = Path(__file__).parent / model +- tweaks = dict(parse_test_options(testcase)) ++ tweaks = dict(_parse_test_options(testcase)) + + # test cases for which murphi2uclid is expected to fail + murphi2uclid_fail = ( +@@ -1429,7 +1429,7 @@ def test_rumur(model, multithreaded, mode, optimised) + testcase = Path(__file__).parent / model + debug = mode == "debug" + xml = mode == "XML" +- tweaks = dict(parse_test_options(testcase, debug, multithreaded, xml)) ++ tweaks = dict(_parse_test_options(testcase, debug, multithreaded, xml)) + + if tweaks.get("skip_reason") is not None: + pytest.skip(tweaks["skip_reason"]) diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist index d460ee5f94f6..ce18eaf64ba3 100644 --- a/math/rumur/pkg-plist +++ b/math/rumur/pkg-plist @@ -55,3 +55,5 @@ share/man/man1/rumur.1.gz %%DATADIR%%/lib/v2025.02.02/_set %%DATADIR%%/lib/v2025.08.31/_list %%DATADIR%%/lib/v2025.08.31/_set +%%DATADIR%%/lib/v2026.0%%PYTHON_VER%%/_list +%%DATADIR%%/lib/v2026.0%%PYTHON_VER%%/_sethome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69b5b864.39d83.40de6cda>