aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 6 insertions, 1 deletions
diff --git a/configure b/configure
index df2b395513..e1b17a64f2 100755
--- a/configure
+++ b/configure
@@ -445,7 +445,12 @@ fi
# Native dynlink
if [ "$natdynlink" = "yes" -a -f `"$CAMLC" -where`/dynlink.cmxa ]; then
- HASNATDYNLINK=true
+ case `uname -s`,`uname -r`,$CAMLVERSION in
+ Darwin,9.*,3.11.0) # ocaml 3.11.0 dynlink on MacOS 10.5 is buggy
+ HASNATDYNLINK=false;;
+ *)
+ HASNATDYNLINK=true;;
+ esac
else
HASNATDYNLINK=false
fi