diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-02-25 09:27:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-25 09:27:19 -0500 |
| commit | 58f7e4af09ea9d86745fd834e207a82ee2bc2877 (patch) | |
| tree | d0cc76caf7d82eeecb4b23b35167067efb082cac /pkgs/development | |
| parent | e897e754a0184f12110561247a4650d1778396ce (diff) | |
| parent | ca97b34a972ae8a5c1a255202f3db478d5b6858c (diff) | |
Merge pull request #213397 from marsam/add-coq-lsp
coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/coq-modules/coq-lsp/default.nix | 36 | ||||
| -rw-r--r-- | pkgs/development/coq-modules/serapi/default.nix | 6 |
2 files changed, 39 insertions, 3 deletions
diff --git a/pkgs/development/coq-modules/coq-lsp/default.nix b/pkgs/development/coq-modules/coq-lsp/default.nix new file mode 100644 index 0000000000000..e75171a943841 --- /dev/null +++ b/pkgs/development/coq-modules/coq-lsp/default.nix @@ -0,0 +1,36 @@ +{ lib, mkCoqDerivation, coq, serapi, makeWrapper, version ? null }: + +mkCoqDerivation rec { + pname = "coq-lsp"; + owner = "ejgallego"; + namePrefix = [ ]; + + useDune = true; + + release."0.1.6.1+8.16".sha256 = "sha256-aX8/pN4fVYaF7ZEPYfvYpEZLiQM++ZG1fAhiLftQ9Aw="; + + inherit version; + defaultVersion = with lib.versions; lib.switch coq.coq-version [ + { case = isEq "8.16"; out = "0.1.6.1+8.16"; } + ] null; + + nativeBuildInputs = [ makeWrapper ]; + + installPhase = '' + runHook preInstall + dune install ${pname} --prefix=$out + wrapProgram $out/bin/coq-lsp --prefix OCAMLPATH : $OCAMLPATH + runHook postInstall + ''; + + propagatedBuildInputs = [ serapi ] + ++ (with coq.ocamlPackages; [ camlp-streams dune-build-info menhir uri yojson ]); + + meta = with lib; { + description = "Language Server Protocol and VS Code Extension for Coq"; + homepage = "https://github.com/ejgallego/coq-lsp"; + changelog = "https://github.com/ejgallego/coq-lsp/blob/${defaultVersion}/CHANGES.md"; + maintainers = with maintainers; [ marsam ]; + license = licenses.lgpl21Only; + }; +} diff --git a/pkgs/development/coq-modules/serapi/default.nix b/pkgs/development/coq-modules/serapi/default.nix index 27641f4f5a99a..260f6fb0a9d3f 100644 --- a/pkgs/development/coq-modules/serapi/default.nix +++ b/pkgs/development/coq-modules/serapi/default.nix @@ -2,7 +2,7 @@ let release = { - "8.16.0+0.16.0".sha256 = "sha256-Of5vO6wvqGyxagjGuuY3qCiLKbBr3VzLHiIn9U2R21E="; + "8.16.0+0.16.3".sha256 = "sha256-22Kawp8jAsgyBTppwN5vmN7zEaB1QfPs0qKxd6x/7Uc="; "8.15.0+0.15.0".sha256 = "1vh99ya2dq6a8xl2jrilgs0rpj4j227qx8zvzd2v5xylx0p4bbrp"; "8.14.0+0.14.0".sha256 = "1kh80yb791yl771qbqkvwhbhydfii23a7lql0jgifvllm2k8hd8d"; "8.13.0+0.13.0".sha256 = "0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy"; @@ -18,7 +18,7 @@ in defaultVersion = with versions; lib.switch coq.version [ - { case = isEq "8.16"; out = "8.16.0+0.16.0"; } + { case = isEq "8.16"; out = "8.16.0+0.16.3"; } { case = isEq "8.15"; out = "8.15.0+0.15.0"; } { case = isEq "8.14"; out = "8.14.0+0.14.0"; } { case = isEq "8.13"; out = "8.13.0+0.13.0"; } @@ -88,7 +88,7 @@ in ]; propagatedBuildInputs = o.propagatedBuildInputs ++ - lib.optional (version == "8.16.0+0.16.0" || version == "dev") coq.ocamlPackages.ppx_hash + lib.optional (version == "8.16.0+0.16.3" || version == "dev") coq.ocamlPackages.ppx_hash ; }) |