From d92d620c9311d2adde1d015efc7bb0911e742a11 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 3 Sep 2020 15:21:10 +0200 Subject: [PATCH] Trigger -output-complete-exe on -custom with an environment variable Gbp-Pq: Name 0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch --- driver/main_args.ml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/driver/main_args.ml b/driver/main_args.ml index 732dea3d..65239ce7 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -1903,7 +1903,6 @@ third-party libraries such as Lwt, but with a different API." include Core include Compiler let _compat_32 = set bytecode_compatible_32 - let _custom = set custom_runtime let _dcamlprimc = set keep_camlprimc_file let _dinstr = set dump_instr let _dllib s = Compenv.defer (ProcessDLLs (Misc.rev_split_words s)) @@ -1922,6 +1921,15 @@ third-party libraries such as Lwt, but with a different API." let _use_runtime s = use_runtime := s let _v () = Compenv.print_version_and_library "compiler" let _vmthread () = Compenv.fatal vmthread_removed_message + let _custom () = + if + match Sys.getenv_opt "OCAML_CUSTOM_USE_OUTPUT_COMPLETE_EXE" with + | None | Some "" -> false + | Some _ -> true + then + _output_complete_exe () + else + set custom_runtime () end end -- 2.30.2