Date: Mon, 6 Jan 2025 04:01:20 GMT 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: 8921014525d8 - main - math/rumur: update 2024.07.14 =?utf-8?Q?=E2=86=92?= 2025.01.05 Message-ID: <202501060401.50641KC3030332@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=8921014525d8f993b00d56576ed701c860750aff commit 8921014525d8f993b00d56576ed701c860750aff Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2025-01-06 01:27:45 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2025-01-06 04:01:05 +0000 math/rumur: update 2024.07.14 → 2025.01.05 Reported by: portscout --- math/rumur/Makefile | 4 +++- math/rumur/distinfo | 6 +++--- math/rumur/pkg-plist | 11 ++++++++++- 3 files changed, 16 insertions(+), 5 deletions(-) diff --git a/math/rumur/Makefile b/math/rumur/Makefile index c6216c1926df..fb4fcc81eb85 100644 --- a/math/rumur/Makefile +++ b/math/rumur/Makefile @@ -1,6 +1,6 @@ PORTNAME= rumur DISTVERSIONPREFIX= v -DISTVERSION= 2024.07.14 +DISTVERSION= 2025.01.05 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -30,4 +30,6 @@ 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 <bsd.port.mk> diff --git a/math/rumur/distinfo b/math/rumur/distinfo index 222c9eb3c09d..f1b8481b0cd8 100644 --- a/math/rumur/distinfo +++ b/math/rumur/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1721103709 -SHA256 (Smattr-rumur-v2024.07.14_GH0.tar.gz) = 41a49db5167ae6c0fb14b47e91ca2e07401d5805f1ef918c6a91deccdacf6c66 -SIZE (Smattr-rumur-v2024.07.14_GH0.tar.gz) = 331016 +TIMESTAMP = 1736117682 +SHA256 (Smattr-rumur-v2025.01.05_GH0.tar.gz) = 5a17f869879800abe8a3eb9de4802c1cf85d7dae06a043f1946287d3cbcf7f93 +SIZE (Smattr-rumur-v2025.01.05_GH0.tar.gz) = 349202 diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist index f1c04d2e9e82..d1aa3419761c 100644 --- a/math/rumur/pkg-plist +++ b/math/rumur/pkg-plist @@ -1,3 +1,4 @@ +bin/murphi-format bin/murphi2c bin/murphi2murphi bin/murphi2smv @@ -26,14 +27,18 @@ include/rumur/parse.h include/rumur/parser.yy.hh include/rumur/position.hh include/rumur/resolve-symbols.h -include/rumur/rumur-get-version.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 @@ -41,3 +46,7 @@ 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/v2025.01.04/list +%%DATADIR%%/lib/v2025.01.05/list
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202501060401.50641KC3030332>