1 files changed, 22 insertions, 0 deletions
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", "<Path to your language server>"}`.
+    ]],
+  },
+}