coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16
This commit is contained in:
parent
46f9a706c9
commit
ca97b34a97
36
pkgs/development/coq-modules/coq-lsp/default.nix
Normal file
36
pkgs/development/coq-modules/coq-lsp/default.nix
Normal file
|
@ -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;
|
||||||
|
};
|
||||||
|
}
|
|
@ -34,6 +34,7 @@ let
|
||||||
coq-elpi = callPackage ../development/coq-modules/coq-elpi {};
|
coq-elpi = callPackage ../development/coq-modules/coq-elpi {};
|
||||||
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
|
coq-ext-lib = callPackage ../development/coq-modules/coq-ext-lib {};
|
||||||
coq-haskell = callPackage ../development/coq-modules/coq-haskell { };
|
coq-haskell = callPackage ../development/coq-modules/coq-haskell { };
|
||||||
|
coq-lsp = callPackage ../development/coq-modules/coq-lsp {};
|
||||||
coq-record-update = callPackage ../development/coq-modules/coq-record-update { };
|
coq-record-update = callPackage ../development/coq-modules/coq-record-update { };
|
||||||
coqeal = callPackage ../development/coq-modules/coqeal {};
|
coqeal = callPackage ../development/coq-modules/coqeal {};
|
||||||
coqhammer = callPackage ../development/coq-modules/coqhammer {};
|
coqhammer = callPackage ../development/coq-modules/coqhammer {};
|
||||||
|
|
Loading…
Reference in a new issue