diff options
| -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 |