Add support for MSYS2

Z3Prover · Apr 6, 2017 · 387970f · 387970f
1 parent 7d35fcb
commit 387970f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
@@ -2464,7 +2464,7 @@ def mk_config():
             OS_DEFINES     = '-D_OPENBSD_'
             SO_EXT         = '.so'
             SLIBFLAGS      = '-shared'
-        elif sysname[:6] ==  'CYGWIN':
+        elif sysname[:6] == 'CYGWIN' or sysname[:7] == 'MSYS_NT':
             CXXFLAGS    = '%s -D_CYGWIN -fno-strict-aliasing' % CXXFLAGS
             OS_DEFINES     = '-D_CYGWIN'
             SO_EXT      = '.dll'