diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-07-16 04:53:39 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-07-16 05:21:33 +0000 |
| commit | 4cc08632db058dc3730124b79a2d58c25a0308b6 (patch) | |
| tree | d01c274996461b1e95223d738d8e341b3097cece | |
| parent | 91cb20c3a19e2abf33fe01a0c3cc8bacbbaea2a7 (diff) | |
math/rumur: update 2024.05.07 → 2024.07.14
Reported by: portscout
| -rw-r--r-- | math/rumur/Makefile | 4 | ||||
| -rw-r--r-- | math/rumur/distinfo | 6 | ||||
| -rw-r--r-- | 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 |