sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-07 03:16:44 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/rumur: update 2024.07.14 → 2025.01.05

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2025-01-05 17:27:45 -08:00
parent ae2e9737ca
commit 8921014525
3 changed files with 16 additions and 5 deletions

4
math/rumur/Makefile
View file

@ -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>

6
math/rumur/distinfo
View file

@ -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

11
math/rumur/pkg-plist
View file

@ -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