diff options
author | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-04-05 17:48:41 +0000 |
---|---|---|
committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-04-05 17:48:41 +0000 |
commit | 6daca3d668e59754ef60a33f49cb23d94baec4fb (patch) | |
tree | ca3b9ccce1d753263a24834c112413fcd6483910 /configure | |
parent | 29f960a540fbdb78b74308f2ae01c1f820067f62 (diff) |
Fix configure script: natdynlink works without a hack on 10.6.3.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12903 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -482,7 +482,9 @@ 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 + true,Darwin,10.3.*,3.11.*) # Not a problem on MacOS 10.6.3 + NATDYNLINKFLAG=$HASNATDYNLINK;; + true,Darwin,10.*,3.11.*) # Also a problem on previous Mac OS 10.6 versions NATDYNLINKFLAG=os5fixme;; *) NATDYNLINKFLAG=$HASNATDYNLINK;; @@ -1164,4 +1166,4 @@ echo echo "*Warning* To compile the system for a new architecture" echo " don't forget to do a 'make archclean' before './configure'." -# $Id: configure 12689 2010-01-26 13:41:56Z glondu $ +# $Id$ |