Unverified Commit 4a9c28f1 authored by Yifei Sun's avatar Yifei Sun Committed by GitHub
Browse files

ocamlPackages.smtml: enable bitwuzla support (#493005)

parents 0c23e270 cb50179c

pkgs/development/ocaml-modules/smtml/default.nix

+2 −0
Original line number Diff line number Diff line
@@ -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