MacOS: try to add link option -Wl,-no-pie when needed e.g. 10.8 and up.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2249 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 6 insertions, 1 deletions

diff --git a/configure b/configure
index 150c7a1..f570dcf 100755
--- a/configure
+++ b/configure
@@ -120,7 +120,12 @@ case "$target" in
     cc="${toolprefix}gcc -arch i386"
     cprepro="${toolprefix}gcc -arch i386 -U__GNUC__ -U__BLOCKS__ -E"
     casm="${toolprefix}gcc -arch i386 -c"
-    clinker="${toolprefix}gcc -arch i386"
+    case `uname -r` in
+      [1-9].*|10.*|11.*)    # up to MacOS 10.7 included
+        clinker="${toolprefix}gcc -arch i386";;
+      *)                    # MacOS 10.8 and up
+        clinker="${toolprefix}gcc -arch i386 -Wl,-no-pie";;
+    esac
     libmath="";;
   ia32-cygwin)
     arch="ia32"