Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 15 Mar 2023 08:50:47 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: a732bcdc59d6 - main - =?utf-8?Q?math/cvc5:=20Update=201.0.4=20=E2=86=92=201.0.5?=
Message-ID:  <202303150850.32F8olQs077732@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=a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335

commit a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-03-15 06:39:45 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-03-15 08:50:43 +0000

    math/cvc5: Update 1.0.4 → 1.0.5
---
 math/cvc5/Makefile  | 7 +++----
 math/cvc5/distinfo  | 6 +++---
 math/cvc5/pkg-plist | 2 +-
 3 files changed, 7 insertions(+), 8 deletions(-)

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 3fdf06868a85..d483e37fe108 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,7 +1,6 @@
 PORTNAME=	cvc5
 DISTVERSIONPREFIX=	cvc5-
-DISTVERSION=	1.0.4
-PORTREVISION=	1
+DISTVERSION=	1.0.5
 CATEGORIES=	math java
 MASTER_SITES+=	http://www.antlr3.org/download/:antlr3
 DISTFILES+=	antlr-3.4-complete.jar:antlr3
@@ -36,7 +35,7 @@ CMAKE_ARGS+=		-DANTLR_BINARY=${WRKDIR}/antlr3 \
 			-DPython_EXECUTABLE:STRING=${PYTHON_CMD}
 CMAKE_ON=		BUILD_SHARED_LIBS
 CMAKE_OFF=		BUILD_BINDINGS_PYTHON USE_PYTHON3 # Python binding should be a separate port
-CMAKE_TESTING_ON=	ENABLE_UNIT_TESTING
+CMAKE_TESTING_ON=	ENABLE_UNIT_TESTING # 2 tests fail, see https://github.com/cvc5/cvc5/issues/9569
 
 OPTIONS_DEFINE=			COCOALIB EDITLINE JAVA
 OPTIONS_GROUP=			SOLVERS
@@ -94,7 +93,7 @@ post-extract:
 	@${ECHO_CMD} "exec \"${LOCALBASE}/bin/java\" -classpath \"${WRKDIR}/antlr3.jar\" org.antlr.Tool \"\$$@\"" >> ${WRKDIR}/antlr3
 	@${CHMOD} +x ${WRKDIR}/antlr3
 
-post-patch:
+xpost-patch:
 	@${REINPLACE_CMD} -e "s|sed -i'' -e 's|sed -i '' -e 's|g" \
 		${WRKSRC}/src/fix-install-headers.sh
 
diff --git a/math/cvc5/distinfo b/math/cvc5/distinfo
index 2a42dd80e001..0cbed0d66b6a 100644
--- a/math/cvc5/distinfo
+++ b/math/cvc5/distinfo
@@ -1,5 +1,5 @@
-TIMESTAMP = 1675723547
+TIMESTAMP = 1678859148
 SHA256 (antlr-3.4-complete.jar) = 9d3e866b610460664522520f73b81777b5626fb0a282a5952b9800b751550bf7
 SIZE (antlr-3.4-complete.jar) = 2388361
-SHA256 (cvc5-cvc5-cvc5-1.0.4_GH0.tar.gz) = b9cc1924fcbc289a5855967cb1528deac857b9aa8f71847483eb2f58370d70d2
-SIZE (cvc5-cvc5-cvc5-1.0.4_GH0.tar.gz) = 8409826
+SHA256 (cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz) = a9705569fe36c70291dd1eb6dc5f542d33da51f82da46558e3455ed6995b1b7a
+SIZE (cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz) = 8431503
diff --git a/math/cvc5/pkg-plist b/math/cvc5/pkg-plist
index 48b1cefc2099..dbaa449c1514 100644
--- a/math/cvc5/pkg-plist
+++ b/math/cvc5/pkg-plist
@@ -14,5 +14,5 @@ lib/libcvc5.so.1
 %%JAVA%%lib/libcvc5jni.so
 lib/libcvc5parser.so
 lib/libcvc5parser.so.1
-%%JAVA%%%%JAVASHAREDIR%%/cvc5-1.0.4.jar
+%%JAVA%%%%JAVASHAREDIR%%/cvc5-1.0.5.jar
 %%JAVA%%%%JAVASHAREDIR%%/cvc5.jar



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202303150850.32F8olQs077732>