aboutsummaryrefslogtreecommitdiff
path: root/.config/nvim/lsp/ada_ls.lua
diff options
context:
space:
mode:
authorawy <awy@awy.one>2025-10-14 18:27:29 +0300
committerawy <awy@awy.one>2025-10-14 18:27:29 +0300
commitde009fd679e10d053fdcc10785f91ad5317449ea (patch)
tree60918a488b579588596cf4d509fde298dccbf15d /.config/nvim/lsp/ada_ls.lua
parent9ea6cf81adb5d6abc59843de1db45913210f9320 (diff)
downloadhyprdots-de009fd679e10d053fdcc10785f91ad5317449ea.tar.gz
nvim revamp
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,
+}