git: 4cc08632db05 - main - math/rumur: update 2024.05.07 → 2024.07.14

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=4cc08632db058dc3730124b79a2d58c25a0308b6

commit 4cc08632db058dc3730124b79a2d58c25a0308b6
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-07-16 04:53:39 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-07-16 05:21:33 +0000

    math/rumur: update 2024.05.07 → 2024.07.14
    
    Reported by:    portscout
---
 math/rumur/Makefile  | 4 ++--
 math/rumur/distinfo  | 6 +++---
 math/rumur/pkg-plist | 2 ++
 3 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/math/rumur/Makefile b/math/rumur/Makefile
index a68c481c1119..695528b023be 100644
--- a/math/rumur/Makefile
+++ b/math/rumur/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	rumur
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2024.05.07
+DISTVERSION=	2024.07.14
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -26,7 +26,7 @@ CMAKE_ARGS=	BISON_EXECUTABLE:STRING=${LOCALBASE}/bin/bison
 
 BINARY_ALIAS=	python3=${PYTHON_CMD}
 
-do-test:
+do-test: # the test command hangs, see https://github.com/Smattr/rumur/issues/274
 	@cd ${BUILD_WRKSRC} && \
 		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} --build . --target check
 
diff --git a/math/rumur/distinfo b/math/rumur/distinfo
index fba27999e8bb..222c9eb3c09d 100644
--- a/math/rumur/distinfo
+++ b/math/rumur/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1716657052
-SHA256 (Smattr-rumur-v2024.05.07_GH0.tar.gz) = bf09d11c173280cd4893f7fa452fa3bebe5ad9aae44ea2750e56772acc6ad092
-SIZE (Smattr-rumur-v2024.05.07_GH0.tar.gz) = 317774
+TIMESTAMP = 1721103709
+SHA256 (Smattr-rumur-v2024.07.14_GH0.tar.gz) = 41a49db5167ae6c0fb14b47e91ca2e07401d5805f1ef918c6a91deccdacf6c66
+SIZE (Smattr-rumur-v2024.07.14_GH0.tar.gz) = 331016
diff --git a/math/rumur/pkg-plist b/math/rumur/pkg-plist
index 16cc18e581b4..f1c04d2e9e82 100644
--- a/math/rumur/pkg-plist
+++ b/math/rumur/pkg-plist
@@ -1,5 +1,6 @@
 bin/murphi2c
 bin/murphi2murphi
+bin/murphi2smv
 bin/murphi2uclid
 bin/murphi2xml
 bin/rumur
@@ -35,6 +36,7 @@ include/rumur/validate.h
 lib/librumur.so
 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