diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-07 20:36:03 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-07 20:40:49 +0000 |
| commit | cf32d424195e2314e3b7eb9f83584af6e697b51c (patch) | |
| tree | c61a34f1af6e549e054647fefec8465937adcb6c | |
| parent | f0b534be273c95d8725938a9c2cf366988780ef6 (diff) | |
| download | ports-cf32d424195e2314e3b7eb9f83584af6e697b51c.tar.gz ports-cf32d424195e2314e3b7eb9f83584af6e697b51c.zip | |
math/cvc5: update 1.0.8 → 1.1.0
Reported by: portscout
| -rw-r--r-- | math/cvc5/Makefile | 5 | ||||
| -rw-r--r-- | math/cvc5/distinfo | 8 | ||||
| -rw-r--r-- | 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 |