Merge pull request #3673 from mtzguido/fixvscode

mtzguido · web-flow · commit 27da2e03767b · 2025-01-10T16:25:39.000-08:00
src: Fix VS code config to match Makefile
diff --git a/src/FStarCompiler.fst.config.json b/src/FStarCompiler.fst.config.json
@@ -6,9 +6,10 @@
     "--lax",
     "--cache_dir", "../stage1/fstarc.checked",
     "--warn_error",
-    "-271-272-241-319-274"
+    "-271-272-241-319-274",
+    "--no_default_includes"
   ],
   "include_dirs": [
-    "."
+    ".", "../ulib"
   ]
 }

Original file line number	Diff line number	Diff line change
`@@ -6,9 +6,10 @@`
`6`	`6`	`"--lax",`
`7`	`7`	`"--cache_dir", "../stage1/fstarc.checked",`
`8`	`8`	`"--warn_error",`
`9`		`- "-271-272-241-319-274"`
	`9`	`+ "-271-272-241-319-274",`
	`10`	`+ "--no_default_includes"`
`10`	`11`	`],`
`11`	`12`	`"include_dirs": [`
`12`		`- "."`
	`13`	`+ ".", "../ulib"`
`13`	`14`	`]`
`14`	`15`	`}`