From 522d56557b00246286d803425751a4334f3a94a5 Mon Sep 17 00:00:00 2001 From: Michael Smith Date: Mon, 15 Jul 2024 20:05:47 +0100 Subject: Update lspconfig, add indent-blankline indent-blankline is probably old because I've actually been using it for ages, but I have a strict if-it-ain't-broke policy, so I'm not going to update it. lspconfig *was* broke though with nvim 0.10, so now it's fixed. --- .../lua/lspconfig/server_configurations/dafny.lua | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 start/lspconfig-0.1.8/lua/lspconfig/server_configurations/dafny.lua (limited to 'start/lspconfig-0.1.8/lua/lspconfig/server_configurations/dafny.lua') diff --git a/start/lspconfig-0.1.8/lua/lspconfig/server_configurations/dafny.lua b/start/lspconfig-0.1.8/lua/lspconfig/server_configurations/dafny.lua new file mode 100644 index 0000000..be5e72b --- /dev/null +++ b/start/lspconfig-0.1.8/lua/lspconfig/server_configurations/dafny.lua @@ -0,0 +1,22 @@ +local util = require 'lspconfig.util' + +return { + default_config = { + cmd = { 'dafny', 'server' }, + filetypes = { 'dfy', 'dafny' }, + root_dir = function(fname) + util.find_git_ancestor(fname) + end, + single_file_support = true, + }, + docs = { + description = [[ + Support for the Dafny language server. + + The default `cmd` uses "dafny server", which works on Dafny 4.0.0+. For + older versions of Dafny, you can compile the language server from source at + [dafny-lang/language-server-csharp](https://github.com/dafny-lang/language-server-csharp) + and set `cmd = {"dotnet", ""}`. + ]], + }, +} -- cgit v1.2.3