ocamlPackages.smtml: enable bitwuzla support

2026-02-22 12:40:35 +01:00
parent d5d2a66c9c
commit cb50179cd9
1 changed files with 2 additions and 0 deletions
@@ -5,6 +5,7 @@
  ocaml,
  fetchFromGitHub,
  menhir,
+  bitwuzla-cxx,
  bos,
  cmdliner,
  dolmen_model,
@@ -47,6 +48,7 @@ buildDunePackage (finalAttrs: {
  ];

  propagatedBuildInputs = [
+    bitwuzla-cxx
    bos
    cmdliner
    dolmen_model