Merge pull request #3565 from mtzguido/ocamlenv

Introduce --ocamlenv
FStarLang · Oct 14, 2024 · da7184a · da7184a
2 parents 84d9ea8 + 8820325
commit da7184a
Show file tree

Hide file tree

Showing 7 changed files with 521 additions and 463 deletions.
diff --git a/ocaml/fstar-lib/generated/FStarC_Main.ml b/ocaml/fstar-lib/generated/FStarC_Main.ml
diff --git a/ocaml/fstar-lib/generated/FStarC_Options.ml b/ocaml/fstar-lib/generated/FStarC_Options.ml
diff --git a/src/basic/FStarC.Options.fst b/src/basic/FStarC.Options.fst
@@ -1631,6 +1631,13 @@ let rec specs_with_types warn_unsafe : list (char & string & opt_type & Pprint.d
     "locate_ocaml",
     Const (Bool true),
     text "Print the root of the built OCaml F* library and exit");
+  ( noshort,
+    "ocamlenv",
+    WithSideEffect ((fun _ -> print_error "--ocamlenv must be the first argument, see fstar.exe --help for details\n"; exit 1),
+                     (Const (Bool true))),
+    text "With no arguments: print shell code to set up an environment with the OCaml libraries in scope (similar to 'opam env'). \
+          With arguments: run a command in that environment. \
+          NOTE: this must be the FIRST argument passed to F* and other options are NOT processed.");
   ]
 
 and specs (warn_unsafe:bool) : list (FStarC.Getopt.opt & Pprint.document) =