aboutsummaryrefslogtreecommitdiff
path: root/.config/nvim/lsp/ada_ls.lua
diff options
context:
space:
mode:
authorawy <awy@awy.one>2025-10-20 20:55:26 +0300
committerawy <awy@awy.one>2025-10-20 20:55:26 +0300
commit662dafc52b2c8a9426bb2197ab9246a8cda318e4 (patch)
treef9d1f20e3864360bf941fd6bc02848ed77b037a8 /.config/nvim/lsp/ada_ls.lua
parent8131d9f2898b991a2d2c7a2ac601ce9e07cc9c9f (diff)
downloadhyprdots-662dafc52b2c8a9426bb2197ab9246a8cda318e4.tar.gz
nvqw
Diffstat (limited to '.config/nvim/lsp/ada_ls.lua')
-rw-r--r--.config/nvim/lsp/ada_ls.lua31
1 files changed, 31 insertions, 0 deletions
diff --git a/.config/nvim/lsp/ada_ls.lua b/.config/nvim/lsp/ada_ls.lua
new file mode 100644
index 0000000..eae327a
--- /dev/null
+++ b/.config/nvim/lsp/ada_ls.lua
@@ -0,0 +1,31 @@
+---@brief
+---
+--- https://github.com/AdaCore/ada_language_server
+---
+--- Installation instructions can be found [here](https://github.com/AdaCore/ada_language_server#Install).
+---
+--- Workspace-specific [settings](https://github.com/AdaCore/ada_language_server/blob/master/doc/settings.md) such as `projectFile` can be provided in a `.als.json` file at the root of the workspace.
+--- Alternatively, configuration may be passed as a "settings" object to `vim.lsp.config('ada_ls', {})`:
+---
+--- ```lua
+--- vim.lsp.config('ada_ls', {
+--- settings = {
+--- ada = {
+--- projectFile = "project.gpr";
+--- scenarioVariables = { ... };
+--- }
+--- }
+--- })
+--- ```
+
+local util = require 'lspconfig.util'
+
+---@type vim.lsp.Config
+return {
+ cmd = { 'ada_language_server' },
+ filetypes = { 'ada' },
+ root_dir = function(bufnr, on_dir)
+ local fname = vim.api.nvim_buf_get_name(bufnr)
+ on_dir(util.root_pattern('Makefile', '.git', 'alire.toml', '*.gpr', '*.adc')(fname))
+ end,
+}