Trigger -output-complete-exe on -custom with an environment variable
authorStephane Glondu <steph@glondu.net>
Thu, 3 Sep 2020 13:21:10 +0000 (15:21 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 9 Aug 2024 04:55:14 +0000 (06:55 +0200)
Gbp-Pq: Name 0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch

driver/main_args.ml

index 732dea3d54433f7baae1bdc0e1540ca623cc369c..65239ce7323677dd88879ece7bb1cb0f1bfd5428 100644 (file)
@@ -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