From 7c63a5cc1ddf20e769a6d9abb1a43f561ca1ddf5 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 11 Nov 2017 16:38:53 +0000
Subject: [PATCH] Fixed MSYS/MinGW build. Fixes #1335.

---
 scripts/mk_util.py       | 4 ++--
 src/interp/iz3interp.cpp | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index ce83f58e5..b155fd7c2 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2510,8 +2510,8 @@ def mk_config():
             SO_EXT         = '.dll'
             SLIBFLAGS      = '-shared'
         elif sysname.startswith('MSYS_NT') or sysname.startswith('MINGW'):
-            CXXFLAGS       = '%s' % CXXFLAGS
-            OS_DEFINES     = ''
+            CXXFLAGS       = '%s -D_MINGW' % CXXFLAGS
+            OS_DEFINES     = '-D_MINGW'
             SO_EXT         = '.dll'
             SLIBFLAGS      = '-shared'
             EXE_EXT        = '.exe'
diff --git a/src/interp/iz3interp.cpp b/src/interp/iz3interp.cpp
index f9bf03951..c1c4588cc 100755
--- a/src/interp/iz3interp.cpp
+++ b/src/interp/iz3interp.cpp
@@ -550,7 +550,7 @@ void interpolation_options_struct::apply(iz3base &b){
 
 // On linux and mac, unlimit stack space so we get recursion
 
-#if defined(_WINDOWS) || defined(_CYGWIN)
+#if defined(_WINDOWS) || defined(_CYGWIN) || defined(_MINGW)
 
 #else