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>