Author: Gábor Németh <homar@riseup.net>
Subject: Add library .so versions
Forwarded: not-needed

Add the same SOVERSION to all Bitwuzla libraries.
--- a/src/lib/meson.build
+++ b/src/lib/meson.build
@@ -51,12 +51,14 @@
                         link_with: util_lib,
                         link_whole: rng_lib,
                         dependencies: gmp_dep,
+                        soversion: bitwuzla_lib_soversion,
                         install_rpath: install_rpath,
                         install: true)
 bitblast_lib = library('bitwuzlabb',
                        sources: bb_sources,
                        link_with: bitvector_lib,
                        dependencies: [gmp_dep, aiger_dep],
+                       soversion: bitwuzla_lib_soversion,
                        install_rpath: install_rpath,
                        install: true,
                        cpp_args: cpp_args_bb_lib)
@@ -66,6 +68,7 @@
                            link_with: [bitvector_lib, util_lib],
                            link_whole: rng_lib,
                            dependencies: gmp_dep,
+                           soversion: bitwuzla_lib_soversion,
                            install_rpath: install_rpath,
                            install: true,
                            cpp_args: cpp_args_ls_lib)
