# HG changeset patch
# User wenzelm
# Date 1439903302 -7200
# Node ID 24c53d220431f678c43b805e6ba6a69899941f26
# Parent  eb87fc42825c19f76535a7f57387725bd4d340b6
include libgmp;

diff -r eb87fc42825c -r 24c53d220431 Admin/polyml/build
--- a/Admin/polyml/build	Tue Aug 18 14:43:25 2015 +0200
+++ b/Admin/polyml/build	Tue Aug 18 15:08:22 2015 +0200
@@ -64,7 +64,7 @@
     OPTIONS=()
     ;;
   x86-windows)
-    OPTIONS=(--host=i686-w32-mingw32)
+    OPTIONS=(--host=i686-w32-mingw32 CPPFLAGS='-I/mingw32/include')
     PATH="/mingw32/bin:$PATH"
     ;;
   x86_64-windows)
@@ -96,9 +96,9 @@
     peflags -x8192000 -z500 "$TARGET/poly.exe"
     ;;
   x86-windows)
-    cp /mingw32/bin/libgcc_s_dw2-1.dll \
-      /mingw32/bin/libwinpthread-1.dll \
-      /mingw32/bin/libstdc++-6.dll \
-      "$TARGET/."
+    for X in libgcc_s_dw2-1.dll libgmp-10.dll libstdc++-6.dll libwinpthread-1.dll
+    do
+      cp "/mingw32/bin/$X" "$TARGET/."
+    done
     ;;
 esac