From 0b6a7eee2f6f1410d27a69b6539ec051bba77967 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 6 Mar 2018 15:10:30 +0000 Subject: [PATCH] Recent versions of ocaml expose 'ext_exe' --- src/ocamlc-config/ocamlc_config.ml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/ocamlc-config/ocamlc_config.ml b/src/ocamlc-config/ocamlc_config.ml index 8220ea90..48fd53f3 100644 --- a/src/ocamlc-config/ocamlc_config.ml +++ b/src/ocamlc-config/ocamlc_config.ml @@ -129,6 +129,9 @@ let ext_asm t = get t "ext_asm" let ext_lib t = get t "ext_lib" let ext_dll t = get t "ext_dll" let ext_exe t = - match get t "os_type" with - | "Win32" -> ".exe" - | _ -> "" + match get_opt t "ext_exe" with + | Some s -> s + | None -> + match get t "os_type" with + | "Win32" -> ".exe" + | _ -> ""