From 47af91947adf8cd759e4a1d04ae6dd683978f7e3 Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Wed, 9 Oct 2024 12:53:13 +0200 Subject: [PATCH] Remove outdated information from the README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a146de1..f9672cf 100644 --- a/README.md +++ b/README.md @@ -113,7 +113,7 @@ npm install To build and debug using Visual Studio Code, install the [TypeScript + Webpack Problem Matchers](https://marketplace.visualstudio.com/items?itemName=eamodio.tsl-problem-matcher) extension. After the installation, open the root folder within VSCode and hit `F5` to debug the Dafny extension. -Because the latest version of the plugin requires recent changes to the Dafny language server, you will then need to change the `dafny.compilerRuntimePath` and `dafny.languageServerRuntimePath` extension settings to point to the `Dafny.dll` and `DafnyLanguageServer.dll` files from a local build of Dafny. See [here](https://github.com/dafny-lang/dafny/wiki/INSTALL#building-and-developing-from-source-code) for instructions on building Dafny locally. +To debug the extension from source, with a custom version of Dafny, you can use the launch configuration "Run with $DAFNY_DEV_SERVER", which looks at the environment variable `DAFNY_DEV_SERVER` to determine which Dafny CLI to use to run the language server. For example, if you have a local checkout of Dafny at location `/my/path/to/dafny`, you can set `DAFNY_DEV_SERVER` to `/my/path/to/dafny/Binaries/Dafny.dll`. ### Packaging