diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile index 51f72c7d8f09..37ae02bfaa1a 100644 --- a/math/bitwuzla/Makefile +++ b/math/bitwuzla/Makefile @@ -1,39 +1,47 @@ PORTNAME= bitwuzla # successor of Boolector -DISTVERSION= 0.7.0 -PORTREVISION= 1 +DISTVERSION= 0.8.2 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= SMT solver for the theories of fixed-size bit-vectors WWW= https://bitwuzla.github.io/ \ https://github.com/bitwuzla/bitwuzla LICENSE= MIT 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 USES= compiler:c++17-lang localbase:ldflags meson pkgconfig python:build USE_GITHUB= yes USE_LDCONFIG= yes CFLAGS+= -I${LOCALBASE}/include/cadical CXXFLAGS+= -I${LOCALBASE}/include/cadical LDFLAGS+= -lcadical MESON_ARGS= -Ddefault_library=shared \ -Dtesting=disabled BINARY_ALIAS= git=false do-test: # 1 test hangs, see https://github.com/bitwuzla/bitwuzla/issues/117 @cd ${WRKSRC} && \ ${SETENV} ${CONFIGURE_ENV} ${CONFIGURE_CMD} ${CONFIGURE_ARGS} -Dtesting=enabled && \ 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 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