diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-24 04:56:27 +0200 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-06-24 12:10:41 +0200 |
| commit | 3fedd01838fbba1e6d0b79eb41bd26eb1572e303 (patch) | |
| tree | c03f06dcb3e637031d7d6cd8f191e69924171ee7 /configure.ml | |
| parent | f062b07eea7d06c6a762402e81630b091211d1c6 (diff) | |
remove an old workaround for OCaml 3.11 + MacOS natdynlink
Diffstat (limited to 'configure.ml')
| -rw-r--r-- | configure.ml | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/configure.ml b/configure.ml index a1c243d65..06d8e713b 100644 --- a/configure.ml +++ b/configure.ml @@ -632,22 +632,8 @@ let best_compiler = let hasnatdynlink = !Prefs.natdynlink && best_compiler = "opt" -(** OCaml 3.11.0 dynlink is buggy on MacOS 10.5, and possibly - also on 10.6.(0|1|2) for x86_64 and 10.6.x on x86_32 *) - -let needs_MacOS_fix () = - match hasnatdynlink, arch, caml_version_nums with - | true, "Darwin", 3::11::_ -> - (match string_split '.' (fst(run "uname" ["-r"])) with - | "9"::_ -> true - | "10"::("0"|"1"|"2")::_ -> true - | "10"::_ when Sys.word_size = 32 -> true - | _ -> false) - | _ -> false - let natdynlinkflag = - if needs_MacOS_fix () then "os5fixme" else - if hasnatdynlink then "true" else "false" + if hasnatdynlink then "true" else "false" (** * OS dependent libraries *) |