From de114a68d6d69874b5c9f212cdc76353928772b5 Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Tue, 4 Apr 2023 23:18:10 -0700 Subject: fix(dafny): add default cmd for Dafny 4 (#2541) --- lua/lspconfig/server_configurations/dafny.lua | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'lua') diff --git a/lua/lspconfig/server_configurations/dafny.lua b/lua/lspconfig/server_configurations/dafny.lua index cbd4bbed..be5e72b3 100644 --- a/lua/lspconfig/server_configurations/dafny.lua +++ b/lua/lspconfig/server_configurations/dafny.lua @@ -2,6 +2,7 @@ local util = require 'lspconfig.util' return { default_config = { + cmd = { 'dafny', 'server' }, filetypes = { 'dfy', 'dafny' }, root_dir = function(fname) util.find_git_ancestor(fname) @@ -10,11 +11,12 @@ return { }, docs = { description = [[ - NeoVim support for the Dafny language server. - Please follow the instructions and compile the language server from source: - https://github.com/dafny-lang/language-server-csharp + Support for the Dafny language server. - Note that there is no default cmd set. You must set it yourself. The recommended way is to use `{"dotnet", ""}`. -]], + 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-70-g09d2