Fixed dafny-lang/dafny#1213 by default for mac users

MikaelMayer · Dec 2, 2021 · 9ecd1c3 · 9ecd1c3
1 parent d8f467f
commit 9ecd1c3
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/language/dafnyLanguageClient.ts b/src/language/dafnyLanguageClient.ts
@@ -53,9 +53,12 @@ export class DafnyLanguageClient extends LanguageClient {
   public static async create(context: ExtensionContext): Promise<DafnyLanguageClient> {
     const dotnetExecutable = await getDotnetExecutablePath();
     const launchArguments = [ getLanguageServerRuntimePath(context), ...getLanguageServerLaunchArgs() ];
+    const serverEnv = Object.assign({}, process.env, {COMPlus_DefaultStackSize: 100000});
     const serverOptions: ServerOptions = {
-      run: { command: dotnetExecutable, args: launchArguments },
-      debug: { command: dotnetExecutable, args: launchArguments }
+      run: { command: dotnetExecutable, args: launchArguments,
+             options:  { env: serverEnv }},
+      debug: { command: dotnetExecutable, args: launchArguments,
+               options:  { env: serverEnv } }
     };
     const clientOptions: LanguageClientOptions = {
       documentSelector: [ DafnyDocumentFilter ],