git: 1820542ed740 - main - math/bitwuzla: update 0.5.0 → 0.7.0

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=1820542ed740b477f7c97156bd8b3078a99839f4

commit 1820542ed740b477f7c97156bd8b3078a99839f4
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-12-13 09:01:23 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-12-13 11:28:45 +0000

    math/bitwuzla: update 0.5.0 → 0.7.0
    
    Reported by:    portscout
---
 math/bitwuzla/Makefile                    |  4 +++-
 math/bitwuzla/distinfo                    |  8 +++-----
 math/bitwuzla/files/patch-src_meson.build | 14 +++++++-------
 3 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile
index aecc4a302cd4..2a9354538866 100644
--- a/math/bitwuzla/Makefile
+++ b/math/bitwuzla/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	bitwuzla
-DISTVERSION=	0.5.0
+DISTVERSION=	0.7.0
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -24,6 +24,8 @@ 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 && \
diff --git a/math/bitwuzla/distinfo b/math/bitwuzla/distinfo
index ea385f26ab87..0d2a29406740 100644
--- a/math/bitwuzla/distinfo
+++ b/math/bitwuzla/distinfo
@@ -1,5 +1,3 @@
-TIMESTAMP = 1717606902
-SHA256 (rel-1.7.4.tar.gz) = 866c8a1332ff1ad5dc7ad403bdef3164420f3f947816b5c9509aad1d18ada7a1
-SIZE (rel-1.7.4.tar.gz) = 647830
-SHA256 (bitwuzla-bitwuzla-0.5.0_GH0.tar.gz) = a477a5973883a8c174ffca8174cd7493a4aae6c95c72397628d395c32226392b
-SIZE (bitwuzla-bitwuzla-0.5.0_GH0.tar.gz) = 2010240
+TIMESTAMP = 1734064151
+SHA256 (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 4a388aa935fab5fe3e61494f94c1110653ac11e07f1cf29593d6fdba30238afa
+SIZE (bitwuzla-bitwuzla-0.7.0_GH0.tar.gz) = 2071988
diff --git a/math/bitwuzla/files/patch-src_meson.build b/math/bitwuzla/files/patch-src_meson.build
index 43c57c11408e..0220847c7c2c 100644
--- a/math/bitwuzla/files/patch-src_meson.build
+++ b/math/bitwuzla/files/patch-src_meson.build
@@ -1,4 +1,4 @@
---- src/meson.build.orig	2024-05-29 23:47:56 UTC
+--- src/meson.build.orig	2024-12-13 03:01:05 UTC
 +++ src/meson.build
 @@ -15,13 +15,13 @@ gmp_dep = dependency('gmp',
  # Subproject dependencies
@@ -19,17 +19,17 @@
 +#  cadical_dep = dependency('cadical', required: true)
 +#endif
  
- # Kissat does not provide pkg-config to find dependency
- kissat_dep = cpp_compiler.find_library('kissat',
-@@ -34,9 +34,9 @@ endif
+ cms_dep = dependency('cryptominisat5',
+                      version: '5.11.21',
+@@ -39,9 +39,9 @@ endif
  
  # Using system include type suppresses compile warnings originating from the
  # symfpu headers
 -symfpu_dep = dependency('symfpu', include_type: 'system', required: true)
 +#symfpu_dep = dependency('symfpu', include_type: 'system', required: true)
  
--dependencies = [symfpu_dep, cadical_dep, kissat_dep, gmp_dep]
-+dependencies = [kissat_dep, gmp_dep]
+-dependencies = [symfpu_dep, cadical_dep, cms_dep, kissat_dep, gmp_dep]
++dependencies = [cms_dep, kissat_dep, gmp_dep]
  
  cpp_args = []
- if kissat_dep.found()
+ if cms_dep.found()