diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-13 09:11:53 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-13 09:11:53 +0200 |
commit | 2fc1f0ce18c45d1148493d58e0c848fc70c44a4d (patch) | |
tree | bb0aa8c1392d636ae0a4f17a3762694ea4b96463 | |
parent | e73d255ec045983787ed935ad02d31d45353a2b1 (diff) | |
download | compcert-2fc1f0ce18c45d1148493d58e0c848fc70c44a4d.tar.gz compcert-2fc1f0ce18c45d1148493d58e0c848fc70c44a4d.zip |
configure for ia32-macosx: update for MacOS 10.12
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -299,7 +299,7 @@ if test "$arch" = "ia32" -a "$model" != "64"; then cc="${toolprefix}gcc -arch i386" clinker="${toolprefix}gcc" cprepro="${toolprefix}gcc" - cprepro_options="-std=c99 -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' '-D_Nullable=' -E" + cprepro_options="-std=c99 -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' '-D_Nullable=' '-D_Nonnull=' -E" libmath="" struct_passing="ints" struct_return="int1248" |