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>
Mon, 27 Jan 2025 12:17:46 +0000 (13:17 +0100)
Gbp-Pq: Name 0002-Trigger-output-complete-exe-on-custom-with-an-enviro.patch

driver/main_args.ml

index ea07d15cf19f3037d082b82e43e5fc2072a87de2..79724274a658f6b03fc9b53e9b8a5d0d2661e7fb 100644 (file)
@@ -1920,7 +1920,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))
@@ -1939,6 +1938,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