# HG changeset patch
# User wenzelm
# Date 1439846163 -7200
# Node ID 49d1ea25f1a4bbd935eed543b3d5a6e10f58c09f
# Parent  1fd5db0e2b3447df07b20c026213ba6bd2faa0ec
more complete build;

diff -r 1fd5db0e2b34 -r 49d1ea25f1a4 Admin/polyml/build
--- a/Admin/polyml/build	Mon Aug 17 21:56:45 2015 +0200
+++ b/Admin/polyml/build	Mon Aug 17 23:16:03 2015 +0200
@@ -65,6 +65,7 @@
     ;;
   x86-windows)
     OPTIONS=(--host=i686-w32-mingw32)
+    PATH="/mingw32/bin:$PATH"
     ;;
   x86_64-windows)
     OPTIONS=()
@@ -95,7 +96,9 @@
     peflags -x8192000 -z500 "$TARGET/poly.exe"
     ;;
   x86-windows)
-    cp /mingw32/bin/libgcc_s_dw2-1.dll "$TARGET/."
-    cp /mingw32/bin/libstdc++-6.dll "$TARGET/."
+    cp /mingw32/bin/libgcc_s_dw2-1.dll \
+      /mingw32/bin/libwinpthread-1.dll \
+      /mingw32/bin/libstdc++-6.dll \
+      "$TARGET/."
     ;;
 esac