diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-23 15:54:51 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-26 18:44:28 +0100 |
commit | c50680bb86564fe61db61e6140a418ccc7d36677 (patch) | |
tree | 58f8731421325939c93546df3c9046fbf96a051e /configure | |
parent | 73551e058a850297bc72924a69b39affcfa49dfa (diff) | |
download | compcert-kvx-c50680bb86564fe61db61e6140a418ccc7d36677.tar.gz compcert-kvx-c50680bb86564fe61db61e6140a418ccc7d36677.zip |
AArch64: macOS port
This commit adds support for macOS (and probably iOS) running on
AArch64 / ARM 64-bit / "Apple silicon" processors.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -57,6 +57,7 @@ Supported targets: rv32-linux (RISC-V 32 bits, Linux) rv64-linux (RISC-V 64 bits, Linux) aarch64-linux (AArch64, i.e. ARMv8 in 64-bit mode, Linux) + aarch64-macosx (AArch64, i.e. Apple silicon, MacOS) manual (edit configuration file by hand) For x86 targets, the "x86_32-" prefix can also be written "ia32-" or "i386-". @@ -404,6 +405,18 @@ if test "$arch" = "aarch64"; then abi="standard" cprepro_options="-std=c99 -U__GNUC__ -E" system="linux";; + macosx) + abi="apple" + casm="${toolprefix}cc" + casm_options="-c -arch arm64" + cc="${toolprefix}cc -arch arm64" + clinker="${toolprefix}cc" + clinker_needs_no_pie=false + cprepro="${toolprefix}cc" + cprepro_options="-std=c99 -arch arm64 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' '-D_Nullable=' '-D_Nonnull=' -E" + libmath="" + system="macosx" + ;; *) echo "Error: invalid eabi/system '$target' for architecture AArch64." 1>&2 echo "$usage" 1>&2 |