Date: Sun, 7 Jan 2024 20:40:53 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: cf32d424195e - main - math/cvc5: update 1.0.8 =?utf-8?Q?=E2=86=92?= 1.1.0 Message-ID: <202401072040.407Kerh5010110@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=cf32d424195e2314e3b7eb9f83584af6e697b51c commit cf32d424195e2314e3b7eb9f83584af6e697b51c Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2024-01-07 20:36:03 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2024-01-07 20:40:49 +0000 math/cvc5: update 1.0.8 → 1.1.0 Reported by: portscout --- math/cvc5/Makefile | 5 +++-- math/cvc5/distinfo | 8 +++----- math/cvc5/pkg-plist | 3 ++- 3 files changed, 8 insertions(+), 8 deletions(-) diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile index 566c591db89b..7791bd04a7f8 100644 --- a/math/cvc5/Makefile +++ b/math/cvc5/Makefile @@ -1,7 +1,6 @@ PORTNAME= cvc5 DISTVERSIONPREFIX= cvc5- -DISTVERSION= 1.0.8 -PORTREVISION= 1 +DISTVERSION= 1.1.0 CATEGORIES= math java EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} @@ -38,6 +37,8 @@ CMAKE_TESTING_ON= ENABLE_UNIT_TESTING CMAKE_TESTING_TARGET= check # check target runs only quick tests (based on https://github.com/cvc5/cvc5/issues/9569#issuecomment-1484943348) #CMAKE_TESTING_TARGET= test # test target also runs longer tests, 2 of which fail, see https://github.com/cvc5/cvc5/issues/9569 +PLIST_SUB= VERSION=${DISTVERSION} + OPTIONS_DEFINE= COCOALIB EDITLINE JAVA OPTIONS_GROUP= SOLVERS OPTIONS_GROUP_SOLVERS= CRYPTOMINISAT KISSAT diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo index f98288404c52..475cdbd10b3d 100644 --- a/math/cvc5/distinfo +++ b/math/cvc5/distinfo @@ -1,5 +1,3 @@ -TIMESTAMP = 1694965126 -SHA256 (antlr-3.4-complete.jar) = 9d3e866b610460664522520f73b81777b5626fb0a282a5952b9800b751550bf7 -SIZE (antlr-3.4-complete.jar) = 2388361 -SHA256 (cvc5-cvc5-cvc5-1.0.8_GH0.tar.gz) = 9b61c6e27609db154657f105d7271a03b7798047b3aab1ca2ab58910fac788ba -SIZE (cvc5-cvc5-cvc5-1.0.8_GH0.tar.gz) = 8393754 +TIMESTAMP = 1704605131 +SHA256 (cvc5-cvc5-cvc5-1.1.0_GH0.tar.gz) = 701a1a6b35b5f06d8f0d812ab97896c8e69c2d48076c0dae8e27a9fa0dbc5829 +SIZE (cvc5-cvc5-cvc5-1.1.0_GH0.tar.gz) = 8496968 diff --git a/math/cvc5/pkg-plist b/math/cvc5/pkg-plist index 9cf6f348cfe8..1edc774c45d2 100644 --- a/math/cvc5/pkg-plist +++ b/math/cvc5/pkg-plist @@ -3,6 +3,7 @@ include/cvc5/cvc5.h include/cvc5/cvc5_export.h include/cvc5/cvc5_kind.h include/cvc5/cvc5_parser.h +include/cvc5/cvc5_proof_rule.h include/cvc5/cvc5_types.h lib/cmake/cvc5/cvc5Config.cmake lib/cmake/cvc5/cvc5ConfigVersion.cmake @@ -14,5 +15,5 @@ lib/libcvc5.so.1 %%JAVA%%lib/libcvc5jni.so lib/libcvc5parser.so lib/libcvc5parser.so.1 -%%JAVA%%%%JAVASHAREDIR%%/cvc5-1.0.8.jar +%%JAVA%%%%JAVASHAREDIR%%/cvc5-%%VERSION%%.jar %%JAVA%%%%JAVASHAREDIR%%/cvc5.jar
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202401072040.407Kerh5010110>