nixos/shells/why3-dev/menhir-lsp.nix

45 lines
638 B
Nix

{
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=";
};
}