diff options
author | thutchin <thutchin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-02-25 15:57:08 +0000 |
---|---|---|
committer | thutchin <thutchin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-02-25 15:57:08 +0000 |
commit | 95444c92d5c6a51b9da4c5661e2b7f0eeacc3f4a (patch) | |
tree | ba32ec6d1b71109e04015ea770e5f602254c3a6d /configure | |
parent | af3f7473aa09bfd535e6e584eec89c4a1ac8e672 (diff) |
Enabled natdynlink hack on Mac OS 10.6
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12811 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -475,6 +475,8 @@ fi case $HASNATDYNLINK,`uname -s`,`uname -r`,$CAMLVERSION in true,Darwin,9.*,3.11.*) # ocaml 3.11.0 dynlink on MacOS 10.5 is buggy NATDYNLINKFLAG=os5fixme;; + true,Darwin,10.*,3.11.*) #also a problem on Mac OS 10.6 + NATDYNLINKFLAG=os5fixme;; *) NATDYNLINKFLAG=$HASNATDYNLINK;; esac |