diff options
| author | William Boman <william@redwill.se> | 2022-04-03 22:24:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-03 22:24:07 +0200 |
| commit | 4653462ad279789b0764e59e4e54bd7d9a4287d9 (patch) | |
| tree | e26a7f978ba1887761df7dce033aa09730cdad4d /lua | |
| parent | add sourcery (#571) (diff) | |
| download | mason-4653462ad279789b0764e59e4e54bd7d9a4287d9.tar mason-4653462ad279789b0764e59e4e54bd7d9a4287d9.tar.gz mason-4653462ad279789b0764e59e4e54bd7d9a4287d9.tar.bz2 mason-4653462ad279789b0764e59e4e54bd7d9a4287d9.tar.lz mason-4653462ad279789b0764e59e4e54bd7d9a4287d9.tar.xz mason-4653462ad279789b0764e59e4e54bd7d9a4287d9.tar.zst mason-4653462ad279789b0764e59e4e54bd7d9a4287d9.zip | |
add mm0_ls (#572)
Diffstat (limited to 'lua')
5 files changed, 39 insertions, 0 deletions
diff --git a/lua/nvim-lsp-installer/_generated/filetype_map.lua b/lua/nvim-lsp-installer/_generated/filetype_map.lua index b4e2a138..66105a3b 100644 --- a/lua/nvim-lsp-installer/_generated/filetype_map.lua +++ b/lua/nvim-lsp-installer/_generated/filetype_map.lua @@ -76,6 +76,7 @@ return { lua = { "sumneko_lua" }, markdown = { "grammarly", "ltex", "prosemd_lsp", "remark_ls", "tailwindcss", "zeta_note", "zk" }, mdx = { "tailwindcss" }, + ["metamath-zero"] = { "mm0_ls" }, mustache = { "tailwindcss" }, mysql = { "sqlls", "sqls" }, ncl = { "nickel_ls" }, diff --git a/lua/nvim-lsp-installer/_generated/language_autocomplete_map.lua b/lua/nvim-lsp-installer/_generated/language_autocomplete_map.lua index 2ef30eef..68279667 100644 --- a/lua/nvim-lsp-installer/_generated/language_autocomplete_map.lua +++ b/lua/nvim-lsp-installer/_generated/language_autocomplete_map.lua @@ -23,6 +23,7 @@ return { liquid = { "theme_check" }, lua = { "sumneko_lua" }, markdown = { "prosemd_lsp", "remark_ls", "zeta_note", "zk" }, + ["metamath-zero"] = { "mm0_ls" }, nix = { "rnix" }, ["objective-c"] = { "ccls" }, onescript = { "bsl_ls" }, diff --git a/lua/nvim-lsp-installer/_generated/metadata.lua b/lua/nvim-lsp-installer/_generated/metadata.lua index 8d765337..d562e1a3 100644 --- a/lua/nvim-lsp-installer/_generated/metadata.lua +++ b/lua/nvim-lsp-installer/_generated/metadata.lua @@ -166,6 +166,9 @@ return { ltex = { filetypes = { "bib", "gitcommit", "markdown", "org", "plaintex", "rst", "rnoweb", "tex" } }, + mm0_ls = { + filetypes = { "metamath-zero" } + }, nickel_ls = { filetypes = { "ncl", "nickel" } }, diff --git a/lua/nvim-lsp-installer/servers/init.lua b/lua/nvim-lsp-installer/servers/init.lua index fddeac66..7343549b 100644 --- a/lua/nvim-lsp-installer/servers/init.lua +++ b/lua/nvim-lsp-installer/servers/init.lua @@ -86,6 +86,7 @@ local CORE_SERVERS = Data.set_of { "lelwel_ls", "lemminx", "ltex", + "mm0_ls", "nickel_ls", "nimls", "ocamlls", diff --git a/lua/nvim-lsp-installer/servers/mm0_ls/init.lua b/lua/nvim-lsp-installer/servers/mm0_ls/init.lua new file mode 100644 index 00000000..14ec1bc9 --- /dev/null +++ b/lua/nvim-lsp-installer/servers/mm0_ls/init.lua @@ -0,0 +1,33 @@ +local server = require "nvim-lsp-installer.server" +local std = require "nvim-lsp-installer.installers.std" +local context = require "nvim-lsp-installer.installers.context" +local path = require "nvim-lsp-installer.path" +local process = require "nvim-lsp-installer.process" + +return function(name, root_dir) + return server.Server:new { + name = name, + root_dir = root_dir, + languages = { "metamath-zero" }, + homepage = "https://github.com/digama0/mm0", + installer = { + std.git_clone "https://github.com/digama0/mm0", + ---@type ServerInstallerFunction + function(_, callback, ctx) + process.spawn("cargo", { + args = { "build", "--release" }, + cwd = path.concat { ctx.install_dir, "mm0-rs" }, + stdio_sink = ctx.stdio_sink, + }, callback) + end, + context.receipt(function(receipt) + receipt:with_primary_source(receipt.git_remote "https://github.com/digama0/mm0") + end), + }, + default_options = { + cmd_env = { + PATH = process.extend_path { path.concat { root_dir, "mm0-rs", "target", "release" } }, + }, + }, + } +end |