From 7b342668b084e397b2e39ab132442f071687cc6b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Fri, 18 Oct 2024 13:04:16 -0700 Subject: [PATCH] snap --- ocaml/fstar-lib/generated/FStarC_OCaml.ml | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/ocaml/fstar-lib/generated/FStarC_OCaml.ml b/ocaml/fstar-lib/generated/FStarC_OCaml.ml index b780e413aec..007f1e660eb 100644 --- a/ocaml/fstar-lib/generated/FStarC_OCaml.ml +++ b/ocaml/fstar-lib/generated/FStarC_OCaml.ml @@ -38,15 +38,22 @@ let exec_in_ocamlenv : 'a . Prims.string -> Prims.string Prims.list -> 'a = FStarC_Compiler_Util.putenv "OCAMLPATH" new_ocamlpath1; FStarC_Compiler_Util.execvp cmd (cmd :: args); failwith "execvp failed" +let (app_lib : Prims.string) = "fstar.lib" +let (plugin_lib : Prims.string) = "fstar.lib" +let (wstr : Prims.string) = "-8" +let (common_args : Prims.string Prims.list) = ["-w"; wstr; "-thread"] let exec_ocamlc : 'a . Prims.string Prims.list -> 'a = fun args -> - exec_in_ocamlenv "ocamlfind" ("c" :: "-w" :: "-8" :: "-linkpkg" :: - "-package" :: "fstar.lib" :: args) + exec_in_ocamlenv "ocamlfind" + (FStar_List_Tot_Base.op_At ("c" :: common_args) ("-linkpkg" :: + "-package" :: app_lib :: args)) let exec_ocamlopt : 'a . Prims.string Prims.list -> 'a = fun args -> - exec_in_ocamlenv "ocamlfind" ("opt" :: "-w" :: "-8" :: "-linkpkg" :: - "-package" :: "fstar.lib" :: args) + exec_in_ocamlenv "ocamlfind" + (FStar_List_Tot_Base.op_At ("opt" :: common_args) ("-linkpkg" :: + "-package" :: app_lib :: args)) let exec_ocamlopt_plugin : 'a . Prims.string Prims.list -> 'a = fun args -> - exec_in_ocamlenv "ocamlfind" ("opt" :: "-w" :: "-8" :: "-shared" :: - "-package" :: "fstar.lib" :: args) \ No newline at end of file + exec_in_ocamlenv "ocamlfind" + (FStar_List_Tot_Base.op_At ("opt" :: common_args) ("-shared" :: + "-package" :: plugin_lib :: args)) \ No newline at end of file