coqPackages.vscoq-language-server: init at 2.0.3 (#256515)
This commit is contained in:
parent
3cab4257a3
commit
4116f0379e
|
@ -0,0 +1,32 @@
|
||||||
|
{ metaFetch, mkCoqDerivation, coq, lib, glib, gnome, wrapGAppsHook,
|
||||||
|
version ? null }:
|
||||||
|
|
||||||
|
let ocamlPackages = coq.ocamlPackages;
|
||||||
|
defaultVersion = lib.switch coq.coq-version [
|
||||||
|
{ case = "8.18"; out = "2.0.3+coq8.18"; }
|
||||||
|
] null;
|
||||||
|
location = { domain = "github.com"; owner = "coq-community"; repo = "vscoq"; };
|
||||||
|
fetch = metaFetch ({
|
||||||
|
release."2.0.3+coq8.18".sha256 = "sha256-VXhHCP6Ni5/OcsgoI1EbJfYCpXzwkuR8kbbKrl6dfjU=";
|
||||||
|
release."2.0.3+coq8.18".rev = "v2.0.3+coq8.18";
|
||||||
|
inherit location; });
|
||||||
|
fetched = fetch (if version != null then version else defaultVersion);
|
||||||
|
in
|
||||||
|
ocamlPackages.buildDunePackage {
|
||||||
|
pname = "vscoq-language-server";
|
||||||
|
inherit (fetched) version;
|
||||||
|
src = "${fetched.src}/language-server";
|
||||||
|
buildInputs =
|
||||||
|
[ coq glib gnome.adwaita-icon-theme wrapGAppsHook ] ++
|
||||||
|
(with ocamlPackages; [ findlib
|
||||||
|
lablgtk3-sourceview3 yojson zarith ppx_inline_test
|
||||||
|
ppx_assert ppx_sexp_conv ppx_deriving ppx_import sexplib
|
||||||
|
ppx_yojson_conv lsp sel ]);
|
||||||
|
|
||||||
|
meta = with lib; {
|
||||||
|
description = "Language server for the vscoq vscode/codium extension";
|
||||||
|
homepage = "https://github.com/coq-community/vscoq";
|
||||||
|
maintainers = with maintainers; [ cohencyril ];
|
||||||
|
license = licenses.mit;
|
||||||
|
} // optionalAttrs (fetched.broken or false) { coqFilter = true; broken = true; };
|
||||||
|
}
|
|
@ -125,6 +125,7 @@ let
|
||||||
vcfloat = callPackage ../development/coq-modules/vcfloat {};
|
vcfloat = callPackage ../development/coq-modules/vcfloat {};
|
||||||
Velisarios = callPackage ../development/coq-modules/Velisarios {};
|
Velisarios = callPackage ../development/coq-modules/Velisarios {};
|
||||||
Verdi = callPackage ../development/coq-modules/Verdi {};
|
Verdi = callPackage ../development/coq-modules/Verdi {};
|
||||||
|
vscoq-language-server = callPackage ../development/coq-modules/vscoq-language-server {};
|
||||||
VST = callPackage ../development/coq-modules/VST ((lib.optionalAttrs
|
VST = callPackage ../development/coq-modules/VST ((lib.optionalAttrs
|
||||||
(lib.versionAtLeast self.coq.version "8.14") {
|
(lib.versionAtLeast self.coq.version "8.14") {
|
||||||
compcert = self.compcert.override {
|
compcert = self.compcert.override {
|
||||||
|
|
Loading…
Reference in New Issue
Block a user