From: Stephane Glondu <steph@glondu.net>
Date: Thu, 3 Sep 2020 13:21:10 +0000 (+0200)
Subject: Trigger -output-complete-exe on -custom with an environment variable
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1^2~3
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=ed898fd4c0f1215fe73e86e9427608f3de1b6758;p=ocaml.git

Trigger -output-complete-exe on -custom with an environment variable


Gbp-Pq: Name 0007-Trigger-output-complete-exe-on-custom-with-an-enviro.patch
---

diff --git a/driver/main_args.ml b/driver/main_args.ml
index 5c28ded5..81f203d9 100644
--- a/driver/main_args.ml
+++ b/driver/main_args.ml
@@ -1962,7 +1962,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 = defer (ProcessDLLs (Misc.rev_split_words s))
@@ -1981,6 +1980,15 @@ third-party libraries such as Lwt, but with a different API."
     let _use_runtime s = use_runtime := s
     let _v () = print_version_and_library "compiler"
     let _vmthread () = 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