diff options
Diffstat (limited to 'languages.toml')
| -rw-r--r-- | languages.toml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/languages.toml b/languages.toml index 7c23f1f4..ff25e018 100644 --- a/languages.toml +++ b/languages.toml @@ -6,6 +6,8 @@ use-grammars = { except = [ "hare", "wren", "gemini" ] } [language-server] als = { command = "als" } +ada-language-server = { command = "ada_language_server" } +ada-gpr-language-server = {command = "ada_language_server", args = ["--language-gpr"]} awk-language-server = { command = "awk-language-server" } bash-language-server = { command = "bash-language-server", args = ["start"] } bass = { command = "bass", args = ["--lsp"] } @@ -2368,6 +2370,21 @@ name = "jsonnet" source = { git = "https://github.com/sourcegraph/tree-sitter-jsonnet", rev = "0475a5017ad7dc84845d1d33187f2321abcb261d" } [[language]] +name = "ada" +scope = "source.ada" +injection-regex = "ada" +file-types = ["adb", "ads", "gpr"] +roots = ["alire.toml"] +comment-token = "--" +indent = { tab-width = 3, unit = " " } +language-servers = ["ada-language-server", "ada-gpr-language-server"] + + +[[grammar]] +name = "ada" +source = { git = "https://github.com/briot/tree-sitter-ada", rev = "ba0894efa03beb70780156b91e28c716b7a4764d" } + +[[language]] name = "astro" scope = "source.astro" injection-regex = "astro" |