From c3b247fa2ee8ea0f0528f7bea9129db366135a94 Mon Sep 17 00:00:00 2001 From: Jonah Beckford <71855677+jonahbeckford@users.noreply.github.com> Date: Wed, 6 Sep 2023 23:35:48 -0700 Subject: [PATCH] bugfix: Read DiskuvOCamlMode environment var --- src/runtimelib/dkml_context.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/runtimelib/dkml_context.ml b/src/runtimelib/dkml_context.ml index d61c3ae..7fcb277 100644 --- a/src/runtimelib/dkml_context.ml +++ b/src/runtimelib/dkml_context.ml @@ -74,6 +74,11 @@ let get_dkmlenv_opt = in List [ Atom "DiskuvOCamlBinaryPaths"; List bpaths ] :: lst in + let lst = + match OS.Env.var "DiskuvOCamlMode" with + | None | Some "" -> lst + | Some v -> List [ Atom "DiskuvOCamlMode"; List [ Atom v ] ] :: lst + in Ok (Some (List