Author: Gábor Németh <homar@riseup.net>
Subject: Statically link to CaDiCaL
Forwarded: not-needed

CaDiCaL API is packaged as a static library in Debian, so we use that unconditionally.
--- a/src/meson.build
+++ b/src/meson.build
@@ -31,7 +31,7 @@
 # CaDiCaL does not provide pkg-config to find dependency
 cadical_dep = cpp_compiler.find_library('cadical',
                                         has_headers: 'cadical.hpp',
-                                        static: build_static,
+                                        static: true,
                                         required: false)
 if not cadical_dep.found()
   cadical_dep = dependency('cadical', required: true)
