Do not require F* in PATH

AeneasVerif · Oct 21, 2024 · 0c3a8f8 · 0c3a8f8
1 parent 0acad46
commit 0c3a8f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bin/main.ml b/bin/main.ml
@@ -364,6 +364,7 @@ Supported options:|}
   let files = CStarToC11.mk_files c_name_map files in
   let files = List.filter (fun (_, decls) -> List.length decls > 0) files in
   Krml.Output.maybe_create_internal_dir headers;
+  Krml.Driver.fstar := "dummy";
   ignore (Output.write_c files internal_headers deps);
   ignore (Output.write_h headers public_headers deps);