diff options
Diffstat (limited to 'lua')
| -rw-r--r-- | lua/mason-registry/ada-language-server/init.lua | 40 | ||||
| -rw-r--r-- | lua/mason-registry/index.lua | 1 | ||||
| -rw-r--r-- | lua/mason/mappings/language.lua | 1 |
3 files changed, 42 insertions, 0 deletions
diff --git a/lua/mason-registry/ada-language-server/init.lua b/lua/mason-registry/ada-language-server/init.lua new file mode 100644 index 00000000..da870817 --- /dev/null +++ b/lua/mason-registry/ada-language-server/init.lua @@ -0,0 +1,40 @@ +local Pkg = require "mason-core.package" +local path = require "mason-core.path" +local platform = require "mason-core.platform" +local _ = require "mason-core.functional" +local github = require "mason-core.managers.github" +local std = require "mason-core.managers.std" + +local coalesce, when = _.coalesce, _.when + +return Pkg.new { + name = "ada-language-server", + desc = [[Ada/SPARK language server]], + homepage = "https://github.com/AdaCore/ada_language_server", + languages = { Pkg.Lang.Ada }, + categories = { Pkg.Cat.LSP }, + ---@async + ---@param ctx InstallContext + install = function(ctx) + github + .unzip_release_file({ + repo = "AdaCore/ada_language_server", + asset_file = function(release) + local target = coalesce( + when(platform.is.mac, "als-%s-macOS_amd64.zip"), + when(platform.is.linux_x64, "als-%s-Linux_amd64.zip"), + when(platform.is.win_x64, "als-%s-Windows_amd64.zip") + ) + return target and target:format(release) + end, + }) + .with_receipt() + + local binary = coalesce( + when(platform.is.mac, path.concat { "darwin", "ada_language_server" }), + when(platform.is.linux_x64, path.concat { "linux", "ada_language_server" }), + when(platform.is.win_x64, path.concat { "win32", "ada_language_server.exe" }) + ) + ctx:link_bin("ada_language_server", binary) + end, +} diff --git a/lua/mason-registry/index.lua b/lua/mason-registry/index.lua index d11a552a..999c1d42 100644 --- a/lua/mason-registry/index.lua +++ b/lua/mason-registry/index.lua @@ -2,6 +2,7 @@ -- stylua: ignore start return { actionlint = "mason-registry.actionlint", + ["ada-language-server"] = "mason-registry.ada-language-server", alex = "mason-registry.alex", ["angular-language-server"] = "mason-registry.angular-language-server", ["ansible-language-server"] = "mason-registry.ansible-language-server", diff --git a/lua/mason/mappings/language.lua b/lua/mason/mappings/language.lua index d92f65ab..b0b9a34b 100644 --- a/lua/mason/mappings/language.lua +++ b/lua/mason/mappings/language.lua @@ -3,6 +3,7 @@ return { [".net"] = { "netcoredbg" }, ["1ะก:enterprise"] = { "bsl-language-server" }, + ada = { "ada-language-server" }, angular = { "angular-language-server", "djlint", "prettier", "prettierd" }, ansible = { "ansible-language-server" }, apex = { "apex-language-server" }, |