CVS commit: pkgsrc/math/bitwuzla

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sun Nov  8 17:36:18 UTC 2026

Added Files:
        pkgsrc/math/bitwuzla: DESCR Makefile PLIST distinfo
        pkgsrc/math/bitwuzla/patches: patch-src_meson.build

Log Message:
Add math/bitwuzla version 0.9.1.

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for
the theories of fixed-size bit-vectors, floating-point arithmetic,
arrays and uninterpreted functions and their combinations. Its
name is derived from an Austrian dialect expression that can be
translated as "someone who tinkers with bits".


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/bitwuzla/DESCR \
    pkgsrc/math/bitwuzla/Makefile pkgsrc/math/bitwuzla/PLIST \
    pkgsrc/math/bitwuzla/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/bitwuzla/patches/patch-src_meson.build

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/math/bitwuzla/DESCR
diff -u /dev/null pkgsrc/math/bitwuzla/DESCR:1.1
--- /dev/null   Sun Nov  8 17:36:18 2026
+++ pkgsrc/math/bitwuzla/DESCR  Sun Nov  8 17:36:17 2026
@@ -0,0 +1,5 @@
+Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for
+the theories of fixed-size bit-vectors, floating-point arithmetic,
+arrays and uninterpreted functions and their combinations. Its
+name is derived from an Austrian dialect expression that can be
+translated as "someone who tinkers with bits".
Index: pkgsrc/math/bitwuzla/Makefile
diff -u /dev/null pkgsrc/math/bitwuzla/Makefile:1.1
--- /dev/null   Sun Nov  8 17:36:18 2026
+++ pkgsrc/math/bitwuzla/Makefile       Sun Nov  8 17:36:17 2026
@@ -0,0 +1,31 @@
+# $NetBSD: Makefile,v 1.1 2026/11/08 17:36:17 alnsn Exp $
+
+DISTNAME=      bitwuzla-0.9.1
+CATEGORIES=    math
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=bitwuzla/}
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      https://bitwuzla.github.io/
+COMMENT=       SMT solver for bit-vectors, floats, arrays and uninterpreted functions
+LICENSE=       mit
+
+USE_LANGUAGES=         c c++
+USE_CXX_FEATURES=      c++17
+USE_TOOLS+=            pkg-config
+
+MESON_OUTPUT_DIR=      build
+
+BUILDLINK_DEPMETHOD.cadical=   build
+BUILDLINK_DEPMETHOD.symfpu=    build
+
+pre-configure:
+       cd ${WRKSRC} && ${SETENV} ${MAKE_ENV} ${TOOL_PYTHONBIN} ./configure.py \
+               --prefix ${PREFIX} --shared --cadical --no-testing
+
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../devel/meson/build.mk"
+.include "../../lang/python/tool.mk"
+.include "../../math/cadical/buildlink3.mk"
+.include "../../math/mpfr/buildlink3.mk"
+.include "../../math/symfpu/buildlink3.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/bitwuzla/PLIST
diff -u /dev/null pkgsrc/math/bitwuzla/PLIST:1.1
--- /dev/null   Sun Nov  8 17:36:18 2026
+++ pkgsrc/math/bitwuzla/PLIST  Sun Nov  8 17:36:18 2026
@@ -0,0 +1,17 @@
+@comment $NetBSD: PLIST,v 1.1 2026/11/08 17:36:18 alnsn Exp $
+bin/bitwuzla
+include/bitwuzla/c/bitwuzla.h
+include/bitwuzla/c/parser.h
+include/bitwuzla/cpp/bitwuzla.h
+include/bitwuzla/cpp/parser.h
+include/bitwuzla/cpp/sat_solver.h
+include/bitwuzla/cpp/terminator.h
+include/bitwuzla/enums.h
+include/bitwuzla/option.h
+include/bitwuzla/result.h
+lib/libbitwuzla.so
+lib/libbitwuzla.so.0
+lib/libbitwuzlabb.so
+lib/libbitwuzlabv.so
+lib/libbitwuzlals.so
+lib/pkgconfig/bitwuzla.pc
Index: pkgsrc/math/bitwuzla/distinfo
diff -u /dev/null pkgsrc/math/bitwuzla/distinfo:1.1
--- /dev/null   Sun Nov  8 17:36:18 2026
+++ pkgsrc/math/bitwuzla/distinfo       Sun Nov  8 17:36:18 2026
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2026/11/08 17:36:18 alnsn Exp $
+
+BLAKE2s (bitwuzla-0.9.1.tar.gz) = a877abf59c7be2236e1e522e37f79c1c422b82b76f179923cf76b26e18160507
+SHA512 (bitwuzla-0.9.1.tar.gz) = cc7b9378aa00dff2c1a80c4af3fcd5f6123c708e2c6ffc72ec6c53dac78b247efd9c5da01a1a7e778b1a13956f1a622395488f43857354c6c9b9a5c12029dc46
+Size (bitwuzla-0.9.1.tar.gz) = 2507441 bytes
+SHA1 (patch-src_meson.build) = 162231fda85e551abfa63a75b548968aa6a40a0f

Index: pkgsrc/math/bitwuzla/patches/patch-src_meson.build
diff -u /dev/null pkgsrc/math/bitwuzla/patches/patch-src_meson.build:1.1
--- /dev/null   Sun Nov  8 17:36:18 2026
+++ pkgsrc/math/bitwuzla/patches/patch-src_meson.build  Sun Nov  8 17:36:18 2026
@@ -0,0 +1,15 @@
+$NetBSD: patch-src_meson.build,v 1.1 2026/11/08 17:36:18 alnsn Exp $
+
+Add rpath to pkg-config file.
+
+--- src/meson.build.orig       2026-05-21 16:43:29.000000000 +0000
++++ src/meson.build
+@@ -290,7 +290,7 @@ bitwuzla_dep = declare_dependency(includ
+ 
+ # Generate pkgconfig file.
+ pkg = import('pkgconfig')
+-pkg.generate(bitwuzla_lib)
++pkg.generate(bitwuzla_lib, libraries: ['-Wl,-R${libdir}'])
+ 
+ if is_sat_solver_configured
+   subdir('main')