diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-11 19:35:22 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-11 19:35:22 +0200 |
commit | e6d477f995c9d5aa941f9c6cd093757b68dc4114 (patch) | |
tree | d3af6a38354696361e1948593f0e4aadb49233d9 | |
parent | 4d099ef842684d3eeccff22f9d4019c7d1d70ee1 (diff) | |
download | compcert-e6d477f995c9d5aa941f9c6cd093757b68dc4114.tar.gz compcert-e6d477f995c9d5aa941f9c6cd093757b68dc4114.zip |
configure for x86-32/Cygwin: ignore __attribute__
Even with __GNUC__ undefined, the standard header files contain bizarre __attribute__ declarations that CompCert fails to parse.
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -284,7 +284,7 @@ if test "$arch" = "x86" -a "$bitsize" = "32"; then clinker="${toolprefix}gcc" clinker_options="-m32" cprepro="${toolprefix}gcc" - cprepro_options="-std=c99 -m32 -U__GNUC__ -E" + cprepro_options="-std=c99 -m32 -U__GNUC__ '-D__attribute__(x)=' -E" libmath="-lm" struct_passing="ints" struct_return="ref" |