head	1.1;
access;
symbols;
locks; strict;
comment	@# @;


1.1
date	2026.11.08.17.36.18;	author alnsn;	state Exp;
branches;
next	;
commitid	akJpF6emMUzznG2H;


desc
@@


1.1
log
@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".
@
text
@$NetBSD$

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')
@