mirror of
https://github.com/neovim/nvim-lspconfig.git
synced 2026-05-06 17:16:09 +02:00
57 lines
1.8 KiB
Lua
57 lines
1.8 KiB
Lua
-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
|
-- This config is DEPRECATED.
|
|
-- Use the configs in `lsp/` instead (requires Nvim 0.11).
|
|
--
|
|
-- ALL configs in `lua/lspconfig/configs/` will be DELETED.
|
|
-- They exist only to support Nvim 0.10 or older.
|
|
-- !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
|
|
local util = require 'lspconfig.util'
|
|
|
|
return {
|
|
default_config = {
|
|
cmd = { 'lake', 'serve', '--' },
|
|
filetypes = { 'lean' },
|
|
root_dir = function(fname)
|
|
-- check if inside elan stdlib
|
|
fname = vim.fs.normalize(fname)
|
|
local stdlib_dir
|
|
do
|
|
local _, endpos = fname:find '/src/lean'
|
|
if endpos then
|
|
stdlib_dir = fname:sub(1, endpos)
|
|
end
|
|
end
|
|
if not stdlib_dir then
|
|
local _, endpos = fname:find '/lib/lean'
|
|
if endpos then
|
|
stdlib_dir = fname:sub(1, endpos)
|
|
end
|
|
end
|
|
|
|
return util.root_pattern('lakefile.toml', 'lakefile.lean', 'lean-toolchain')(fname)
|
|
or stdlib_dir
|
|
or vim.fs.dirname(vim.fs.find('.git', { path = fname, upward = true })[1])
|
|
end,
|
|
on_new_config = function(config, root_dir)
|
|
-- add root dir as command-line argument for `ps aux`
|
|
table.insert(config.cmd, root_dir)
|
|
end,
|
|
single_file_support = true,
|
|
},
|
|
docs = {
|
|
description = [[
|
|
https://github.com/leanprover/lean4
|
|
|
|
Lean installation instructions can be found
|
|
[here](https://leanprover-community.github.io/get_started.html#regular-install).
|
|
|
|
The Lean language server is included in any Lean installation and
|
|
does not require any additional packages.
|
|
|
|
Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
|
|
that plugin fully handles the setup of the Lean language server,
|
|
and you shouldn't set up `leanls` both with it and `lspconfig`.
|
|
]],
|
|
},
|
|
}
|