equal
deleted
inserted
replaced
62 ;; |
62 ;; |
63 x86-cygwin) |
63 x86-cygwin) |
64 OPTIONS=() |
64 OPTIONS=() |
65 ;; |
65 ;; |
66 x86-windows) |
66 x86-windows) |
67 OPTIONS=() |
67 OPTIONS=(--host=i686-w32-mingw32) |
68 ;; |
68 ;; |
69 x86_64-windows) |
69 x86_64-windows) |
70 OPTIONS=() |
70 OPTIONS=() |
71 ;; |
71 ;; |
72 *) |
72 *) |
88 mv "$SOURCE/$TARGET/bin/"* "$TARGET/" |
88 mv "$SOURCE/$TARGET/bin/"* "$TARGET/" |
89 mv "$SOURCE/$TARGET/lib/"* "$TARGET/" |
89 mv "$SOURCE/$TARGET/lib/"* "$TARGET/" |
90 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib" |
90 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib" |
91 rm -rf "$SOURCE/$TARGET/share" |
91 rm -rf "$SOURCE/$TARGET/share" |
92 |
92 |
93 if [ "$TARGET" = x86-cygwin ]; then |
93 case "$TARGET" in |
94 peflags -x8192000 -z500 "$TARGET/poly.exe" |
94 x86-cygwin) |
95 fi |
95 peflags -x8192000 -z500 "$TARGET/poly.exe" |
|
96 ;; |
|
97 x86-windows) |
|
98 cp /mingw32/bin/libgcc_s_dw2-1.dll "$TARGET/." |
|
99 cp /mingw32/bin/libstdc++-6.dll "$TARGET/." |
|
100 ;; |
|
101 esac |