# HG changeset patch
# User wenzelm
# Date 1439841405 -7200
# Node ID 1fd5db0e2b3447df07b20c026213ba6bd2faa0ec
# Parent  3565c9f407eca37e3f233bde5307d3297bbaf710
support for native x86-windows via MinGW32;

diff -r 3565c9f407ec -r 1fd5db0e2b34 Admin/polyml/build
--- a/Admin/polyml/build	Mon Aug 17 21:32:41 2015 +0200
+++ b/Admin/polyml/build	Mon Aug 17 21:56:45 2015 +0200
@@ -64,7 +64,7 @@
     OPTIONS=()
     ;;
   x86-windows)
-    OPTIONS=()
+    OPTIONS=(--host=i686-w32-mingw32)
     ;;
   x86_64-windows)
     OPTIONS=()
@@ -90,6 +90,12 @@
 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib"
 rm -rf "$SOURCE/$TARGET/share"
 
-if [ "$TARGET" = x86-cygwin ]; then
-  peflags -x8192000 -z500 "$TARGET/poly.exe"
-fi
+case "$TARGET" in
+  x86-cygwin)
+    peflags -x8192000 -z500 "$TARGET/poly.exe"
+    ;;
+  x86-windows)
+    cp /mingw32/bin/libgcc_s_dw2-1.dll "$TARGET/."
+    cp /mingw32/bin/libstdc++-6.dll "$TARGET/."
+    ;;
+esac