diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2025-11-04 22:57:24 -0800 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2025-11-04 22:57:36 -0800 |
| commit | cd1ce46df01fa5225c4ea3ee8fede8c9c5a51fdd (patch) | |
| tree | 0a2b07329fdd9731620e326cfc127dc541f87c79 /math | |
| parent | math/cvc5: update 1.3.0 → 1.3.1 (diff) | |
math/bitwuzla: update 0.7.0 → 0.8.2
Diffstat (limited to 'math')
| -rw-r--r-- | math/bitwuzla/Makefile | 12 | ||||
| -rw-r--r-- | math/bitwuzla/distinfo | 6 |
2 files changed, 13 insertions, 5 deletions
diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile index 51f72c7d8f09..37ae02bfaa1a 100644 --- a/math/bitwuzla/Makefile +++ b/math/bitwuzla/Makefile @@ -1,6 +1,5 @@ PORTNAME= bitwuzla # successor of Boolector -DISTVERSION= 0.7.0 -PORTREVISION= 1 +DISTVERSION= 0.8.2 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -14,6 +13,7 @@ LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= gmp>0:math/gmp \ ${LOCALBASE}/lib/symfpu.a:math/symfpu LIB_DEPENDS= libcadical.so:math/cadical \ + libcryptominisat5.so:math/cryptominisat \ libgmp.so:math/gmp TEST_DEPENDS= googletest>0:devel/googletest @@ -36,4 +36,12 @@ do-test: # 1 test hangs, see https://github.com/bitwuzla/bitwuzla/issues/117 cd ${BUILD_WRKSRC} && \ ${DO_MAKE_BUILD} test +# tests as of 0.8.2: +# Ok: 3935 +# Expected Fail: 0 +# Fail: 0 +# Unexpected Pass: 0 +# Skipped: 0 +# Timeout: 0 + .include <bsd.port.mk> diff --git a/math/bitwuzla/distinfo b/math/bitwuzla/distinfo index 0d2a29406740..2f5d9ee92031 100644 --- a/math/bitwuzla/distinfo +++ b/math/bitwuzla/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1734064151 -SHA256 (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 4a388aa935fab5fe3e61494f94c1110653ac11e07f1cf29593d6fdba30238afa -SIZE (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 2071988 +TIMESTAMP = 1762322302 +SHA256 (bitwuzla-bitwuzla-0.8.2_GH0.tar.gz) = 637ed0b8d43291004089543b8c7bb744d325231113cab9bfa07f7bb7a154eeb5 +SIZE (bitwuzla-bitwuzla-0.8.2_GH0.tar.gz) = 2080406 |