blob: aa492d4a54bd369b6925a225220932142f76e954 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
local util = require 'lspconfig.util'
return {
default_config = {
cmd = { 'coq-lsp' },
filetypes = { 'coq' },
root_dir = function(fname)
return util.root_pattern '_CoqProject'(fname) or util.find_git_ancestor(fname)
end,
single_file_support = true,
},
docs = {
description = [[
https://github.com/ejgallego/coq-lsp/
]],
},
}
|