diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-03-14 23:39:45 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-03-15 01:50:43 -0700 |
| commit | a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335 (patch) | |
| tree | 5eca8beb0175fc375fedc15048f34474a6072bee | |
| parent | d0f2c8f5a0ba461dbb5a9bbc8ec6ff5cc1789abe (diff) | |
| download | freebsd-ports-a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335.zip | |
math/cvc5: Update 1.0.4 → 1.0.5
| -rw-r--r-- | math/cvc5/Makefile | 7 | ||||
| -rw-r--r-- | math/cvc5/distinfo | 6 | ||||
| -rw-r--r-- | 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 |