Updates for IA32-Cygwin.

cparser/Elab.ml: tolerate changes in qualifiers in ?:
cfrontend/C2C.ml: revise info attached to atoms; treat inline functions as static.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1506 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 11 insertions, 0 deletions

diff --git a/configure b/configure
index d49428d..5744c54 100755
--- a/configure
+++ b/configure
@@ -36,6 +36,7 @@ Supported targets:
   ia32-linux       (x86 32 bits, Linux)
   ia32-bsd         (x86 32 bits, BSD)
   ia32-macosx      (x86 32 bits, MacOS X)
+  ia32-cygwin      (x86 32 bits, Cygwin environment under Windows)
   manual           (edit configuration file by hand)
 
 Options:
@@ -125,6 +126,16 @@ case "$target" in
     clinker="gcc -arch i386"
     libmath=""
     need_stdlib_wrapper="true";;
+  ia32-cygwin)
+    arch="ia32"
+    variant="standard"
+    system="cygwin"
+    cc="gcc -m32"
+    cprepro="gcc -m32 -U__GNUC__ -E"
+    casm="gcc -m32 -c"
+    clinker="gcc -m32"
+    libmath="-lm"
+    need_stdlib_wrapper="false";;
   manual)
     ;;
   "")