From nobody Mon Jan 6 04:01:20 2025 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4YRL8J4jymz5jpfv; Mon, 06 Jan 2025 04:01:20 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4YRL8J14K0z4ycQ; Mon, 6 Jan 2025 04:01:20 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1736136080; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=XaIbpyBc0BHBEutZn41fcD37qZCncyGLtB/N2zgT+5U=; b=LcTxCj0+NkeTBZtSAfeIF3BHTsmajvSLLzYDM549CcVrhmpdIkemmEiOw1O3a0pa1q3LzS V+brugcU8e1GIMALlRq+osNe9HcHGBhX/e4tEQ0rtBrM49KJf4BuyHg4q5lo7vZ1MMS6gW VFzXehPoZUc8oqkimnaU5hbYUxZVUrcukwj/n7l7plc6JVyAy0HBJNlWEaWQr2wQcBiRI/ 6DToTWvFOUmUBvNfaZVzYUwtZSctp/8BHm62A8QKwjN95SYWc/1NrfnTIBN6lcM77IqHM1 /qG9oL3hM8QgHM/8r1g9iO8W+W7gc9knOvlxlSETib6l/ZQ93EjYqsb2Y8o0KQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1736136080; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=XaIbpyBc0BHBEutZn41fcD37qZCncyGLtB/N2zgT+5U=; b=Nwfmb1U3YBcw0veuoccVehVKhnzJYlqIxWDFQN2V7H46+hB+kLpzp9UpugpnApsnVKvy1z O+ccnJKeGD3fi/aFvNBbvKdJxwVbB+8azke+QD730z+GEAYjSBOBiMZr+qk2l7pmC18tte Xv318+0A7OCSC2mRI6Vk1IND8YKb3dSekvZ6DMrHtd/D24KeAKp20MdlpKuZCAtX9GV6gC bWBrAdW+ztoFmZ9LHBKfkRXYPdggUAxpyYLgOH+PCK2WKut7EEKG4KRxQwribmUDWsUfVl ThsOPzooPK/copw5gfH79kQEMnpABGJjZU38YT6rXnlWP+o/fgi/xtVj7ECvQg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1736136080; a=rsa-sha256; cv=none; b=LlGkyF1DJ7pk+752Omh9NuXSjNkwapZ62Q66g6x5qK5YrYU7u4IAgbu1U/35LunD6RBdKJ pWC1zebyRBxPD0B4ej5DTh8T6pPrD0v6VtV3c6lb7X8gOZhFrFvp+oaeXXIpGyLk9cEEnp jPs87pohXnlB2eqhdpG8V6BzZxqkt6L8rWeOEc0J+FFHi3sBRaaX85z9fWTEehwZczvrzq bQUAPCx5rTQs2rR5mvC+SK02d9etxx9RDWvIbh1AkazNDPV5oFSV8dhDdRcF34aZZ5wOSj +N9Ips02/esKghI0Z/VhOrObk14zyFqaJc7jmhjYV0d/bhXVm/ILgMZNv66eig== ARC-Authentication-Results: i=1; mx1.freebsd.org; none Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4YRL8J0hFVz16mf; Mon, 06 Jan 2025 04:01:20 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 50641KGd030335; Mon, 6 Jan 2025 04:01:20 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 50641KC3030332; Mon, 6 Jan 2025 04:01:20 GMT (envelope-from git) Date: Mon, 6 Jan 2025 04:01:20 GMT Message-Id: <202501060401.50641KC3030332@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 8921014525d8 - main - math/rumur: update 2024.07.14 =?utf-8?Q?=E2=86=92?= 2025.01.05 List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 8921014525d8f993b00d56576ed701c860750aff Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=8921014525d8f993b00d56576ed701c860750aff commit 8921014525d8f993b00d56576ed701c860750aff Author: Yuri Victorovich AuthorDate: 2025-01-06 01:27:45 +0000 Commit: Yuri Victorovich 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 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