From 1f7ded3c5c6e90133e43bc198157a310a01cc4f2 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 13 May 2013 14:50:23 +0000
Subject: 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
---
 configure | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'configure')

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"
-- 
cgit v1.2.3