From 4dc834d5ee30e7853a5beebae7bbd19ac5488b4a Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 11 Oct 2012 21:59:09 -0700
Subject: [PATCH] making sure that Z3 can be compiled with cygwin/g++

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 configure.in | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/configure.in b/configure.in
index 421c9a3c0..2b403a421 100644
--- a/configure.in
+++ b/configure.in
@@ -47,7 +47,15 @@ AS_IF([test "$host_os" = "Darwin"], [
   SLIBFLAGS="-shared -fopenmp"
   COMP_VERSIONS=
   STATIC_FLAGS=-static
-], [
+], [test "${host_os:0:6}" = "CYGWIN"], [
+   PLATFORM=win
+   SO_EXT=dll
+   LDFLAGS=
+   SLIBFLAGS="-shared -fopenmp"
+   COMP_VERSIONS=
+   STATIC_FLAGS=-static
+],
+[
   AC_MSG_ERROR([Unknown host platform: $host_os])
 ])
 AC_SUBST(PLATFORM)