plugins/lsp: register pkgs.vectorcode for vectorcode_server

This commit is contained in:
Gaetan Lepage 2025-04-02 15:09:42 +02:00
parent 2a7ee28895
commit 5908b5a737
2 changed files with 4 additions and 1 deletions

View file

@ -167,7 +167,6 @@
"uvls" "uvls"
"v_analyzer" "v_analyzer"
"vdmj" "vdmj"
"vectorcode_server" # TODO: PR submitted to nixpkgs https://github.com/NixOS/nixpkgs/pull/394565
"veridian" "veridian"
"visualforce_ls" "visualforce_ls"
# coqPackages.vscoq-language-server is unavailable since the bump to coq 9.0: https://github.com/NixOS/nixpkgs/pull/389454 # coqPackages.vscoq-language-server is unavailable since the bump to coq 9.0: https://github.com/NixOS/nixpkgs/pull/389454
@ -407,6 +406,7 @@
vacuum = "vacuum-go"; vacuum = "vacuum-go";
vala_ls = "vala-language-server"; vala_ls = "vala-language-server";
vale_ls = "vale-ls"; vale_ls = "vale-ls";
vectorcode_server = "vectorcode";
verible = "verible"; verible = "verible";
veryl_ls = "veryl"; veryl_ls = "veryl";
vhdl_ls = "vhdl-ls"; vhdl_ls = "vhdl-ls";

View file

@ -50,6 +50,9 @@ let
"typst_lsp" "typst_lsp"
] ]
++ lib.optionals (pkgs.stdenv.hostPlatform.system == "aarch64-linux") [ ++ lib.optionals (pkgs.stdenv.hostPlatform.system == "aarch64-linux") [
# pkgs.vectorcode is not available on this platform
"vectorcode_server"
# TODO: 2024-10-05 build failure # TODO: 2024-10-05 build failure
"fstar" "fstar"