aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@college-de-france.fr>2020-07-29 12:16:03 +0200
committerXavier Leroy <xavierleroy@users.noreply.github.com>2020-07-29 16:28:18 +0200
commit338509aef7347fda5db4123d645bb52971fa8a91 (patch)
treeabc51b6cf278ee71489ea28c6ff48518cf660641 /configure
parent0132b8aa669adc10e6ca953d10d5c0b861f304b1 (diff)
downloadcompcert-kvx-338509aef7347fda5db4123d645bb52971fa8a91.tar.gz
compcert-kvx-338509aef7347fda5db4123d645bb52971fa8a91.zip
Remove support for x86-32 under macOS
32-bit executables cannot be built since XCode 10.0 (sep 2018). 32-bit executables cannot be executed since MacOS 10.15 (oct 2019). Better remove x86-32 support and fail at configuration time instead of at the end of the build.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure24
1 files changed, 0 insertions, 24 deletions
diff --git a/configure b/configure
index 0919f34e..a02e561f 100755
--- a/configure
+++ b/configure
@@ -48,7 +48,6 @@ Supported targets:
armeb-hardfloat (ARM, EABI using hardware FP registers, big endian)
x86_32-linux (x86 32 bits, Linux)
x86_32-bsd (x86 32 bits, BSD)
- x86_32-macosx (x86 32 bits, MacOS X)
x86_32-cygwin (x86 32 bits, Cygwin environment under Windows)
x86_64-linux (x86 64 bits, Linux)
x86_64-bsd (x86 64 bits, BSD)
@@ -328,29 +327,6 @@ if test "$arch" = "x86" -a "$bitsize" = "32"; then
libmath="-lm"
system="linux"
;;
- macosx)
- # kernel major versions count upwards from 4 for OSX 10.0 to 15 for OSX 10.11
- kernel_major=`uname -r | cut -d "." -f 1`
-
- abi="macosx"
- casm="${toolprefix}gcc"
- casm_options="-arch i386 -c"
- cc="${toolprefix}gcc -arch i386"
- clinker="${toolprefix}gcc"
- clinker_needs_no_pie=false
- cprepro="${toolprefix}gcc"
- cprepro_options="-std=c99 -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' '-D_Nullable=' '-D_Nonnull=' -E"
- libmath=""
- system="macosx"
-
- 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
- ;;
*)
echo "Error: invalid eabi/system '$target' for architecture IA32/X86_32." 1>&2
echo "$usage" 1>&2