diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-01-13 11:06:30 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-01-13 11:06:30 +0000 |
commit | 8c0674457da93136bffbc1415a6efa88d87e7843 (patch) | |
tree | 897631e4b6e4e7582b70f117ea99d8bd48363461 /configure | |
parent | e072a73b3240763d90e720045ca5571f7bc55b18 (diff) |
Workaround to compile the coq archive with dynamic loading on Mac OS 10.5
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11777 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 16 |
1 files changed, 9 insertions, 7 deletions
@@ -445,16 +445,18 @@ fi # Native dynlink if [ "$natdynlink" = "yes" -a -f `"$CAMLC" -where`/dynlink.cmxa ]; then - 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 + HASNATDYNLINK=true else HASNATDYNLINK=false 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;; + *) + NATDYNLINKFLAG=$HASNATDYNLINK;; +esac + # Camlp4 / Camlp5 configuration if [ "$camlp5dir" != "" ]; then @@ -998,7 +1000,7 @@ sed -e "s|LOCALINSTALLATION|$local|" \ -e "s|COQIDEOPT|$COQIDE|" \ -e "s|CHECKEDOUTSOURCETREE|$checkedout|" \ -e "s|WITHDOCOPT|$with_doc|" \ - -e "s|HASNATIVEDYNLINK|$HASNATDYNLINK|" \ + -e "s|HASNATIVEDYNLINK|$NATDYNLINKFLAG|" \ "$COQSRC/config/Makefile.template" > "$COQSRC/config/Makefile" chmod a-w "$COQSRC/config/Makefile" |