diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-05-10 11:04:03 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-05-10 11:04:03 +0200 |
| commit | abc067fedfaa6ad3e8b5991588ed48c4c385cfc0 (patch) | |
| tree | 4f51af5dffd376902432d39f8b57eca9a11bfe29 | |
| parent | 3f98769c5cdf5a57fe2849fc1772dbecdd498b68 (diff) | |
| download | compcert-kvx-abc067fedfaa6ad3e8b5991588ed48c4c385cfc0.tar.gz compcert-kvx-abc067fedfaa6ad3e8b5991588ed48c4c385cfc0.zip | |
fix typo 'clinker_option' in configure for OSX
| -rwxr-xr-x | configure | 16 |
1 files changed, 10 insertions, 6 deletions
@@ -193,6 +193,8 @@ case "$target" in clinker_options="-m32" libmath="-lm";; ia32-macosx) + # kernel major versions count upwards from 4 for OSX 10.0 to 11 for OSX 10.11 + kernel_major=`uname -r | cut -d "." -f 1` arch="ia32" model="sse2" abi="macosx" @@ -205,12 +207,14 @@ case "$target" in casm="${toolprefix}gcc" casm_options="-arch i386 -c" clinker="${toolprefix}gcc" - case `uname -r` in - [1-9].*|10.*|11.*) # up to MacOS 10.7 included - clinker_option="-arch i386";; - *) # MacOS 10.8 and up - clinker_option="-arch i386 -Wl,-no_pie";; - esac + if [[ $kernel_major -gt 11 ]] + then + # OSX >= 10.8 + clinker_options="-arch i386 -Wl,-no_pie" ;; + else + # OSX <= 10.7 + clinker_options="-arch i386" ;; + fi libmath="";; ia32-cygwin) arch="ia32" |