From c9acadca7c8d5d29dd57b9acba99369067f93ae1 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 8 Sep 2010 16:50:23 +0000
Subject: 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
---
 configure | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'configure')

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)
     ;;
   "")
-- 
cgit v1.2.3