From 0c3a8f8c4adb48bdb6888a438231ea0953bcf192 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Mon, 21 Oct 2024 10:29:44 -0700
Subject: [PATCH] Do not require F* in PATH

---
 bin/main.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/main.ml b/bin/main.ml
index b8ec8e2..932c118 100644
--- 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);