From 23aaa96938f19dc67d348835a88b0b49ac606d2a Mon Sep 17 00:00:00 2001
From: Henri Saudubray <henri.saudubray@proton.me>
Date: Thu, 22 Jan 2026 10:17:38 +0100
Subject: [PATCH] feat (shells/why3-dev): menhir-lsp

---
 shells/why3-dev/flake.nix      |  2 ++
 shells/why3-dev/menhir-lsp.nix | 45 ++++++++++++++++++++++++++++++++++
 2 files changed, 47 insertions(+)
 create mode 100644 shells/why3-dev/menhir-lsp.nix

diff --git a/shells/why3-dev/flake.nix b/shells/why3-dev/flake.nix
index 32844bf..06ebb8a 100644
--- a/shells/why3-dev/flake.nix
+++ b/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
           ];
         };
     };
diff --git a/shells/why3-dev/menhir-lsp.nix b/shells/why3-dev/menhir-lsp.nix
new file mode 100644
index 0000000..bc46224
--- /dev/null
+++ b/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=";
+  };
+}