Add DafnyOptions.txt, and have the Dafny Visual Studio extension read command-line options from DafnyOptions.txt during initialization. DafnyOptions.txt gets built into the VSIX file and is installed as part of the Dafny Visual Studio extension.

1 files changed, 19 insertions, 1 deletions

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 5dd6d8ab..5b8cc943 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -41,7 +41,25 @@ namespace DafnyLanguage
         options.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);

         options.ModelViewFile = "-";

         Dafny.DafnyOptions.Install(options);

-        options.ApplyDefaultOptions();

+

+        // Read additional options from DafnyOptions.txt

+        string codebase = Path.GetDirectoryName(System.Reflection.Assembly.GetExecutingAssembly().Location);

+        string optionsFilePath = Path.Combine(codebase, "DafnyOptions.txt");

+        if (File.Exists(optionsFilePath)) {

+          var optionsReader = new StreamReader(new FileStream(optionsFilePath, FileMode.Open, FileAccess.Read));

+          List<string> args = new List<string>();

+          while (true) {

+            string line = optionsReader.ReadLine();

+            if (line == null) break;

+            line = line.Trim();

+            if (line.Length == 0 || line.StartsWith("//")) continue;

+            args.Add(line);

+          }

+          optionsReader.Close();

+          CommandLineOptions.Clo.Parse(args.ToArray());

+        } else {

+          options.ApplyDefaultOptions();

+        }

 

         ExecutionEngine.printer = new DummyPrinter();

         ExecutionEngine.errorInformationFactory = new DafnyErrorInformationFactory();