Add the verible language server for Verilog (#4247)

Fixes #4023

Author: hzeller

CHANGELOG.org

@@ -167,6 +167,7 @@
   * Reorganized lsp-mode code moving features and clients to separated files. #2067
   * Add support for signatureHelp using ~posframe~. #1999
   * Add ~iedit~ integration. #2478
+  * Add client for Verible SystemVerilog language Server ([[https://github.com/chipsalliance/verible]])
 
 ** Release 7.0.1
   * Introduced ~lsp-diagnostics-mode~.

clients/lsp-verilog.el

@@ -20,10 +20,11 @@
 ;; along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 ;;; Commentary:
-;; LSP client support for Verilog/SystemVerilog. Two language servers
-;; are available:
+;; LSP client support for Verilog/SystemVerilog. The following language
+;; servers are available:
 ;;   1) HDL Checker. See https://github.com/suoto/hdl_checker
 ;;   2) SVLangserver. See https://github.com/imc-trading/svlangserver
+;;   3) Verible. See https://github.com/chipsalliance/verible
 ;;
 ;; This file is based on the lsp-vhdl.el file.
 ;;
@@ -190,5 +191,23 @@
 
 (lsp-consistency-check lsp-verilog)
 
+(defgroup lsp-verible nil
+  "LSP support for Verilog/SystemVerilog using the Verible suite."
+  :group 'lsp-mode
+  :link '(url-link "https://github.com/chipsalliance/verible"))
+
+(defcustom lsp-clients-verible-executable '("verible-verilog-ls")
+  "Command to start the Verible Verilog language server."
+  :group 'lsp-verible
+  :risky t
+  :type 'file)
+
+(lsp-register-client
+ (make-lsp-client :new-connection (lsp-stdio-connection lsp-clients-verible-executable)
+                  :major-modes '(verilog-mode)
+                  :language-id "verilog"
+                  :priority -2
+                  :server-id 'lsp-verilog-verible))
+
 (provide 'lsp-verilog)
 ;;; lsp-verilog.el ends here

docs/lsp-clients.json

@@ -1056,6 +1056,15 @@
     "installation": "meson build && ninja -C build install",
     "debugger": "Not available"
   },
+  {
+    "name": "verible",
+    "common-group-name": "verilog",
+    "full-name": "Verilog/SystemVerilog",
+    "server-name": "verible-verilog-ls",
+    "server-url": "https://github.com/chipsalliance/verible",
+    "installation": "https://github.com/chipsalliance/verible#installation",
+    "debugger": "Not available"
+  },
   {
     "name": "verilog",
     "common-group-name": "verilog",

mkdocs.yml

@@ -160,6 +160,7 @@ nav:
     - Vala: page/lsp-vala.md
     - Verilog/SystemVerilog (hdl-checker): page/lsp-verilog.md
     - Verilog/SystemVerilog (svlangserver): page/lsp-svlangserver.md
+    - Verilog/SystemVerilog (verible): page/lsp-verible.md
     - VHDL: page/lsp-vhdl.md
     - Vimscript: page/lsp-vimscript.md
     - Vue 2: page/lsp-vetur.md