freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

math/bitwuzla: update 0.7.0 → 0.8.2

Browse Source
This commit is contained in:
Yuri Victorovich 2025-11-04 22:57:24 -08:00
parent c095581907
commit cd1ce46df0
2 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
math/bitwuzla/Makefile
View File

@ -1,6 +1,5 @@
PORTNAME= bitwuzla # successor of Boolector PORTNAME= bitwuzla # successor of Boolector
DISTVERSION= 0.7.0 DISTVERSION= 0.8.2
PORTREVISION= 1
CATEGORIES= math CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org MAINTAINER= yuri@FreeBSD.org
@ -14,6 +13,7 @@ LICENSE_FILE= ${WRKSRC}/COPYING
BUILD_DEPENDS= gmp>0:math/gmp \ BUILD_DEPENDS= gmp>0:math/gmp \
${LOCALBASE}/lib/symfpu.a:math/symfpu ${LOCALBASE}/lib/symfpu.a:math/symfpu
LIB_DEPENDS= libcadical.so:math/cadical \ LIB_DEPENDS= libcadical.so:math/cadical \
libcryptominisat5.so:math/cryptominisat \
libgmp.so:math/gmp libgmp.so:math/gmp
TEST_DEPENDS= googletest>0:devel/googletest 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} && \ cd ${BUILD_WRKSRC} && \
${DO_MAKE_BUILD} test ${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> .include <bsd.port.mk>

6
math/bitwuzla/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1734064151 TIMESTAMP = 1762322302
SHA256 (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 4a388aa935fab5fe3e61494f94c1110653ac11e07f1cf29593d6fdba30238afa SHA256 (bitwuzla-bitwuzla-0.8.2_GH0.tar.gz) = 637ed0b8d43291004089543b8c7bb744d325231113cab9bfa07f7bb7a154eeb5
SIZE (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 2071988 SIZE (bitwuzla-bitwuzla-0.8.2_GH0.tar.gz) = 2080406