diff --git a/pkgs/development/ocaml-modules/smtml/default.nix b/pkgs/development/ocaml-modules/smtml/default.nix index 0d5753568d74..ba308fdb135c 100644 --- a/pkgs/development/ocaml-modules/smtml/default.nix +++ b/pkgs/development/ocaml-modules/smtml/default.nix @@ -36,16 +36,21 @@ buildDunePackage (finalAttrs: { hash = "sha256-IFjaZcwBiM/xA39W+FuJ87OSEvAhvhEsZ1cF2KrxrhY="; }; + minimalOCamlVersion = "4.14"; + nativeBuildInputs = [ menhir ]; + buildInputs = [ + dune-build-info + ]; + propagatedBuildInputs = [ bos cmdliner dolmen_model dolmen_type - dune-build-info fpath hc menhirLib