diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-18 19:00:47 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-18 19:53:10 +0100 |
| commit | 0a39cdab7f7ad8dc73339d17563a85d6f57f1710 (patch) | |
| tree | 442514e22905ae3507e25dfed66fda9df7f56881 /configure | |
| parent | b3a52cf16ba3752797d983327f68a1199db9ba07 (diff) | |
| download | compcert-kvx-0a39cdab7f7ad8dc73339d17563a85d6f57f1710.tar.gz compcert-kvx-0a39cdab7f7ad8dc73339d17563a85d6f57f1710.zip | |
macOS: turn #warning off
The standard includes print irrelevant warnings using `#warning`.
The warnings can be restored by passing `-W#warning` to `ccomp`.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -363,7 +363,7 @@ if test "$arch" = "x86" -a "$bitsize" = "64"; then casm_options="-arch x86_64 -c" clinker_options="-arch x86_64" clinker_needs_no_pie=false - cprepro_options="-std=c99 -arch x86_64 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' '-D_Nullable=' '-D_Nonnull=' -E" + cprepro_options="-std=c99 -arch x86_64 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' '-D_Nullable=' '-D_Nonnull=' -Wno-\\#warnings -E" libmath="" system="macosx" ;; @@ -417,7 +417,7 @@ if test "$arch" = "aarch64"; then 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" + cprepro_options="-std=c99 -arch arm64 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' '-D_Nullable=' '-D_Nonnull=' -Wno-\\#warnings -E" libmath="" system="macosx" ;; |