feat: add coq_lsp support (#393)

williamboman · Apr 22, 2024 · 4b9cbbb · 4b9cbbb
1 parent bc0e758
commit 4b9cbbb
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -204,6 +204,7 @@ local DEFAULT_SETTINGS = {
 | Clarity                             | `clarity_lsp`                     |
 | Clojure                             | `clojure_lsp`                     |
 | CodeQL                              | `codeqlls`                        |
+| Coq                                 | `coq_lsp`                         |
 | Autoconf                            | `autotools_ls`                    |
 | Crystal                             | `crystalline`                     |
 | Cucumber                            | `cucumber_language_server`        |

diff --git a/doc/mason-lspconfig-mapping.txt b/doc/mason-lspconfig-mapping.txt
@@ -31,6 +31,7 @@ clarity-lsp                               clarity_lsp
 clojure-lsp                               clojure_lsp
 cmake-language-server                     cmake
 codeql                                    codeqlls
+coq-lsp                                   coq_lsp
 crystalline                               crystalline
 csharp-language-server                    csharp_ls
 css-lsp                                   cssls

diff --git a/doc/server-mapping.md b/doc/server-mapping.md
@@ -28,6 +28,7 @@
 | [clojure_lsp](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#clojure_lsp) | [clojure-lsp](https://mason-registry.dev/registry/list#clojure-lsp) |
 | [cmake](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#cmake) | [cmake-language-server](https://mason-registry.dev/registry/list#cmake-language-server) |
 | [codeqlls](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#codeqlls) | [codeql](https://mason-registry.dev/registry/list#codeql) |
+| [coq_lsp](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#coq_lsp) | [coq-lsp](https://mason-registry.dev/registry/list#coq-lsp) |
 | [crystalline](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#crystalline) | [crystalline](https://mason-registry.dev/registry/list#crystalline) |
 | [csharp_ls](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#csharp_ls) | [csharp-language-server](https://mason-registry.dev/registry/list#csharp-language-server) |
 | [cssls](https://github.com/neovim/nvim-lspconfig/blob/master/doc/server_configurations.md#cssls) | [css-lsp](https://mason-registry.dev/registry/list#css-lsp) |

diff --git a/lua/mason-lspconfig/mappings/filetype.lua b/lua/mason-lspconfig/mappings/filetype.lua
@@ -31,6 +31,7 @@ return {
   comp = { "glsl_analyzer", "glslls" },
   config = { "autotools_ls" },
   context = { "ltex" },
+  coq = { "coq_lsp" },
   cpp = { "ast_grep", "clangd" },
   crystal = { "crystalline" },
   cs = { "csharp_ls", "omnisharp", "omnisharp_mono" },

diff --git a/lua/mason-lspconfig/mappings/server.lua b/lua/mason-lspconfig/mappings/server.lua
@@ -31,6 +31,7 @@ M.lspconfig_to_package = {
     ["clojure_lsp"] = "clojure-lsp",
     ["cmake"] = "cmake-language-server",
     ["codeqlls"] = "codeql",
+    ["coq_lsp"] = "coq-lsp",
     ["crystalline"] = "crystalline",
     ["csharp_ls"] = "csharp-language-server",
     ["cssls"] = "css-lsp",