Merge pull request #3017 from mtzguido/vscode-config

Add FStar.fst.config.json
FStarLang · Aug 23, 2023 · 32a58b5 · 32a58b5
2 parents d020577 + f41fb04
commit 32a58b5
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/FStar.fst.config.json b/FStar.fst.config.json
@@ -0,0 +1,11 @@
+{
+  "fstar_exe": "fstar.exe",
+  "options": [
+    "--cache_dir", ".cache"
+  ],
+  "include_dirs": [
+    "ulib/",
+    "ulib/experimental",
+    "ulib/legacy"
+  ]
+}