feat (shells/why3-dev): menhir-lsp

shells/why3-dev/flake.nix

@@ -14,6 +14,7 @@
       devShells."${system}".default =
         let
           pkgs = import nixpkgs { inherit system; };
+          menhir-lsp = pkgs.callPackage ./menhir-lsp.nix (pkgs // pkgs.ocamlPackages);
         in
         pkgs.mkShell {
           packages = with pkgs; [
@@ -32,6 +33,7 @@
             # alt-ergo
             cvc5
             z3
+            menhir-lsp
           ];
         };
     };

shells/why3-dev/menhir-lsp.nix

@@ -0,0 +1,45 @@
+{
+  menhirLib,
+  menhirSdk,
+  stdune,
+  re,
+  menhir,
+  lwt_ppx,
+  containers,
+  linol-lwt,
+  merlin-lib,
+  visitors,
+  # ocamlPackages,
+  fetchFromGitHub,
+  buildDunePackage,
+  ...
+}:
+
+buildDunePackage {
+  pname = "menhir-lsp";
+
+  minimalOCamlVersion = "4.14";
+
+  version = "0.2.1";
+
+  nativeBuildInputs = [ menhir ];
+  propagatedBuildInputs = [
+    menhirLib
+    menhirSdk
+    stdune
+    re
+    menhir
+    lwt_ppx
+    containers
+    linol-lwt
+    merlin-lib
+    visitors
+  ];
+
+  src = fetchFromGitHub {
+    owner = "dalps";
+    repo = "menhir-lsp";
+    rev = "0.2.1";
+    sha256 = "6xm+Jv8MXG4Ma+3uSdHKvJoK6MVCAEmUSoqs/L8Ee+U=";
+  };
+}