From e6d477f995c9d5aa941f9c6cd093757b68dc4114 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 11 Sep 2017 19:35:22 +0200
Subject: configure for x86-32/Cygwin: ignore __attribute__

Even with __GNUC__ undefined, the standard header files contain bizarre __attribute__ declarations that CompCert fails to parse.
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index ddc6833d..eb4423e8 100755
--- a/configure
+++ b/configure
@@ -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"
-- 
cgit