Skip to content

Commit

Permalink
Add svls LSP server.
Browse files Browse the repository at this point in the history
  • Loading branch information
@manateelazycat
manateelazycat committed Sep 22, 2024
1 parent b510db5 commit cc2976f
Show file tree
Hide file tree
Showing 5 changed files with 53 additions and 41 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -270,6 +270,7 @@ lsp-bridge provides support for more than two language servers for many language
- `lsp-bridge-nix-lsp-server`: Nix language server, you can choose `rnix-lsp`, `nixd` or `nil`
- `lsp-bridge-markdown-lsp-server`: Markdown language server, you can choose `vale-ls` or `marksman`
- `lsp-bridge-lua-lsp-server`: Lua language server, you can choose `sumneko` or `lua-lsp`
- `lsp-bridge-verilog-lsp-server`: Verilog language server， you can choose `verible`, or `svls`

## Options

Expand Down Expand Up @@ -446,6 +447,7 @@ If your language supports mixed multi-language servers, it is recommended to che
| Typescript | [typescript](https://github.com/typescript-language-server/typescript-language-server) | |
| Typst | [typst-lsp](https://github.com/nvarner/typst-lsp) | |
| Verilog | [verible](https://github.com/chipsalliance/verible) | |
| | [svls](https://github.com/dalance/svls) | |
| VHDL | [vhdl-tool](https://www.vhdltool.com) | |
| Vim | [vim-language-server](https://github.com/iamcco/vim-language-server) | `npm install -g vim-language-server` |
| Vue | [volar](https://github.com/johnsoncodehk/volar) | `npm install -g typescript @vue/language-server` |
Expand Down
2 changes: 2 additions & 0 deletions README.zh-CN.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -265,6 +265,7 @@ lsp-bridge 针对许多语言都提供 2 个以上的语言服务器支持，
- `lsp-bridge-nix-lsp-server`: Nix 语言的服务器， 可以选择 `rnix-lsp`, `nixd` 或者 `nil`
- `lsp-bridge-markdown-lsp-server`: Markdown 语言的服务器， 可以选择 `vale-ls` 或者 `marksman`
- `lsp-bridge-lua-lsp-server`: Lua 语言的服务器， 可以选择 `sumneko`, 或者 `lua-lsp`
- `lsp-bridge-verilog-lsp-server`: Verilog 语言的服务器， 可以选择 `verible`, 或者 `svls`

## 选项

Expand Down Expand Up @@ -441,6 +442,7 @@ lsp-bridge 针对许多语言都提供 2 个以上的语言服务器支持，
| Typescript | [typescript](https://github.com/typescript-language-server/typescript-language-server) | |
| Typst | [typst-lsp](https://github.com/nvarner/typst-lsp) | |
| Verilog | [verible](https://github.com/chipsalliance/verible) | |
| | [svls](https://github.com/dalance/svls) | |
| VHDL | [vhdl-tool](https://www.vhdltool.com) | |
| Vim | [vim-language-server](https://github.com/iamcco/vim-language-server) | `npm install -g vim-language-server` |
| Vue | [volar](https://github.com/johnsoncodehk/volar) | `npm install -g typescript @vue/language-server` |
Expand Down
8 changes: 8 additions & 0 deletions langserver/svls.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
{
"name": "svls",
"languageId": "verilog",
"command": [
"svls"
],
"settings": {}
}
6 changes: 5 additions & 1 deletion lsp-bridge.el
View file
Original file line number Diff line number Diff line change
Expand Up @@ -504,6 +504,10 @@ Possible choices are basedpyright_ruff, pyright_ruff, pyright-background-analysi
"Default LSP server for Lua, you can choose `sumneko' or `lua-lsp'"
:type 'string)

(defcustom lsp-bridge-verilog-lsp-server "verible"
"Default LSP server for Verilog, you can choose `verible', `svls'"
:type 'string)

(defcustom lsp-bridge-use-wenls-in-org-mode nil
"Use `wen' lsp server in org-mode, default is disable.")

Expand Down Expand Up @@ -569,7 +573,7 @@ Possible choices are basedpyright_ruff, pyright_ruff, pyright-background-analysi
(swift-mode . "swift-sourcekit")
((csharp-mode csharp-ts-mode) . lsp-bridge-csharp-lsp-server)
(kotlin-mode . "kotlin-language-server")
(verilog-mode . "verible")
(verilog-mode . lsp-bridge-verilog-lsp-server)
(vhdl-mode . "vhdl-tool")
(svelte-mode . "svelteserver")
(fsharp-mode . "fsautocomplete")
Expand Down
76 changes: 36 additions & 40 deletions todo.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,78 +4,74 @@ Below LSP server haven't supported, PR are welcome. ;)

2. **PowerShell**: [github.com/PowerShell/PowerShellEditorServices](https://github.com/PowerShell/PowerShellEditorServices) (need env to test start command)

3. **Helm (Kubernetes)**: [github.com/mrjosh/helm-ls](https://github.com/mrjosh/helm-ls)
3. **Rego**: [github.com/StyraInc/regal](https://github.com/StyraInc/regal)

4. **SystemVerilog**: [github.com/dalance/svls](https://github.com/dalance/svls)
4. **Apache Camel**: [github.com/camel-tooling/camel-language-server](https://github.com/camel-tooling/camel-language-server)

5. **Rego**: [github.com/StyraInc/regal](https://github.com/StyraInc/regal)
5. **Cucumber (Gherkin)**: cucumber/language-server

6. **Apache Camel**: [github.com/camel-tooling/camel-language-server](https://github.com/camel-tooling/camel-language-server)
6. **Snyk**: [github.com/snyk/snyk-ls](https://github.com/snyk/snyk-ls)

7. **Cucumber (Gherkin)**: cucumber/language-server
7. **LanguageTool**: [github.com/valentjn/ltex-ls](https://github.com/valentjn/ltex-ls)

8. **Snyk**: [github.com/snyk/snyk-ls](https://github.com/snyk/snyk-ls)
8. **JS/TS + PHP + Python + Java**: [github.com/SonarSource/sonarlint-language-server](https://github.com/SonarSource/sonarlint-language-server)

9. **LanguageTool**: [github.com/valentjn/ltex-ls](https://github.com/valentjn/ltex-ls)
9. **Gauge**: [github.com/getgauge/gauge](https://github.com/getgauge/gauge)

10. **JS/TS + PHP + Python + Java**: [github.com/SonarSource/sonarlint-language-server](https://github.com/SonarSource/sonarlint-language-server)
10. **Coq**: coq-lsp

11. **Gauge**: [github.com/getgauge/gauge](https://github.com/getgauge/gauge)
11. **Delphi**: Embarcadero (Proprietary - DelphiLSP)

12. **Coq**: coq-lsp
12. **BibTeX**: [github.com/oncomouse/citation-langserver](https://github.com/oncomouse/citation-langserver)

13. **Delphi**: Embarcadero (Proprietary - DelphiLSP)
13. **JSON-LD**: [github.com/ajuvercr/jsonld-lsp](https://github.com/ajuvercr/jsonld-lsp)

14. **BibTeX**: [github.com/oncomouse/citation-langserver](https://github.com/oncomouse/citation-langserver)
14. **Ballerina**: [github.com/ballerina-platform/ballerina-lang/tree/master/language-server](https://github.com/ballerina-platform/ballerina-lang/tree/master/language-server)

15. **JSON-LD**: [github.com/ajuvercr/jsonld-lsp](https://github.com/ajuvercr/jsonld-lsp)
15. **Langium**: [github.com/langium/langium](https://github.com/langium/langium)

16. **Ballerina**: [github.com/ballerina-platform/ballerina-lang/tree/master/language-server](https://github.com/ballerina-platform/ballerina-lang/tree/master/language-server)
16. **Odin**: [github.com/DanielGavin/ols](https://github.com/DanielGavin/ols)

17. **Langium**: [github.com/langium/langium](https://github.com/langium/langium)
17. **Xtext** (Any Language): [github.com/eclipse/xtext-core](https://github.com/eclipse/xtext-core)

18. **Odin**: [github.com/DanielGavin/ols](https://github.com/DanielGavin/ols)
18. **ActionScript3**: [github.com/BowlerHatLLC/vscode-nextgenas/tree/master/language-server](https://github.com/BowlerHatLLC/vscode-nextgenas/tree/master/language-server)

19. **Xtext** (Any Language): [github.com/eclipse/xtext-core](https://github.com/eclipse/xtext-core)
19. **Raku**: [github.com/bscan/RakuNavigator](https://github.com/bscan/RakuNavigator)

20. **ActionScript3**: [github.com/BowlerHatLLC/vscode-nextgenas/tree/master/language-server](https://github.com/BowlerHatLLC/vscode-nextgenas/tree/master/language-server)
20. **Flux**: [github.com/influxdata/flux-lsp](https://github.com/influxdata/flux-lsp)

21. **Raku**: [github.com/bscan/RakuNavigator](https://github.com/bscan/RakuNavigator)
21. **SPARQL**: [github.com/stardog-union/stardog-language-servers/tree/master/packages/sparql-language-server](https://github.com/stardog-union/stardog-language-servers/tree/master/packages/sparql-language-server)

22. **Flux**: [github.com/influxdata/flux-lsp](https://github.com/influxdata/flux-lsp)
22. **Turtle**: [github.com/stardog-union/stardog-language-servers/tree/master/packages/turtle-language-server](https://github.com/stardog-union/stardog-language-servers/tree/master/packages/turtle-language-server)

23. **SPARQL**: [github.com/stardog-union/stardog-language-servers/tree/master/packages/sparql-language-server](https://github.com/stardog-union/stardog-language-servers/tree/master/packages/sparql-language-server)
23. **Common Workflow Language (CWL)**: Rabix/Benten

24. **Turtle**: [github.com/stardog-union/stardog-language-servers/tree/master/packages/turtle-language-server](https://github.com/stardog-union/stardog-language-servers/tree/master/packages/turtle-language-server)
24. **Smalltalk/Pharo**: [github.com/badetitou/Pharo-LanguageServer](https://github.com/badetitou/Pharo-LanguageServer)

25. **Common Workflow Language (CWL)**: Rabix/Benten
25. **DreamMaker**: [github.com/SpaceManiac/SpacemanDMM/tree/master/crates/dm-langserver](https://github.com/SpaceManiac/SpacemanDMM/tree/master/crates/dm-langserver)

26. **Smalltalk/Pharo**: [github.com/badetitou/Pharo-LanguageServer](https://github.com/badetitou/Pharo-LanguageServer)
26. **Grain**: [github.com/grain-lang/grain](https://github.com/grain-lang/grain)

27. **DreamMaker**: [github.com/SpaceManiac/SpacemanDMM/tree/master/crates/dm-langserver](https://github.com/SpaceManiac/SpacemanDMM/tree/master/crates/dm-langserver)
27. **V**: [github.com/vlang/v-analyzer](https://github.com/vlang/v-analyzer)

28. **Grain**: [github.com/grain-lang/grain](https://github.com/grain-lang/grain)
28. **TTCN-3**: [github.com/nokia/ntt](https://github.com/nokia/ntt)

29. **V**: [github.com/vlang/v-analyzer](https://github.com/vlang/v-analyzer)
29. **Red**: [github.com/bitbegin/redlangserver](https://github.com/bitbegin/redlangserver)

30. **TTCN-3**: [github.com/nokia/ntt](https://github.com/nokia/ntt)
30. **Fennel**: [git.sr.ht/~xerool/fennel-ls](https://git.sr.ht/~xerool/fennel-ls)

31. **Red**: [github.com/bitbegin/redlangserver](https://github.com/bitbegin/redlangserver)
31. **Erg**: [github.com/erg-lang/erg/tree/main/crates/els](https://github.com/erg-lang/erg/tree/main/crates/els)

32. **Fennel**: [git.sr.ht/~xerool/fennel-ls](https://git.sr.ht/~xerool/fennel-ls)
32. **Fuzion**: [github.com/tokiwa-software/fuzion-lsp-server](https://github.com/tokiwa-software/fuzion-lsp-server)

33. **Erg**: [github.com/erg-lang/erg/tree/main/crates/els](https://github.com/erg-lang/erg/tree/main/crates/els)
33. **Imandra Protocol Language**: [github.com/AestheticIntegration/ipl-vscode](https://github.com/AestheticIntegration/ipl-vscode)

34. **Fuzion**: [github.com/tokiwa-software/fuzion-lsp-server](https://github.com/tokiwa-software/fuzion-lsp-server)
34. **MOCA**: [github.com/mrglassdanny/moca-language-server](https://github.com/mrglassdanny/moca-language-server)

35. **Imandra Protocol Language**: [github.com/AestheticIntegration/ipl-vscode](https://github.com/AestheticIntegration/ipl-vscode)
35. **openVALIDATION**: [github.com/openvalidation/ov-language-server](https://github.com/openvalidation/ov-language-server)

36. **MOCA**: [github.com/mrglassdanny/moca-language-server](https://github.com/mrglassdanny/moca-language-server)
36. **Veryl**: [github.com/dalance/veryl/tree/master/crates/languageserver](https://github.com/dalance/veryl/tree/master/crates/languageserver)

37. **openVALIDATION**: [github.com/openvalidation/ov-language-server](https://github.com/openvalidation/ov-language-server)
37. **Standard ML**: Millet

38. **Veryl**: [github.com/dalance/veryl/tree/master/crates/languageserver](https://github.com/dalance/veryl/tree/master/crates/languageserver)

39. **Standard ML**: Millet

40. **Systemtap**: Systemtap LSP
38. **Systemtap**: Systemtap LSP

0 comments on commit cc2976f

Please sign in to comment.