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 /configure | |
| parent | e73d255ec045983787ed935ad02d31d45353a2b1 (diff) | |
| download | compcert-2fc1f0ce18c45d1148493d58e0c848fc70c44a4d.tar.gz compcert-2fc1f0ce18c45d1148493d58e0c848fc70c44a4d.zip | |
configure for ia32-macosx: update for MacOS 10.12
Diffstat (limited to 'configure')
| -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" |