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=(--host=i686-w32-mingw32 CPPFLAGS='-I/mingw32/include') |
67 OPTIONS=(--host=i686-w32-mingw32 CPPFLAGS='-I/mingw32/include' --disable-windows-gui) |
68 PATH="/mingw32/bin:$PATH" |
68 PATH="/mingw32/bin:$PATH" |
69 ;; |
69 ;; |
70 x86_64-windows) |
70 x86_64-windows) |
71 OPTIONS=(--host=x86_64-w64-mingw32 CPPFLAGS='-I/mingw64/include') |
71 OPTIONS=(--host=x86_64-w64-mingw32 CPPFLAGS='-I/mingw64/include' --disable-windows-gui) |
72 PATH="/mingw64/bin:$PATH" |
72 PATH="/mingw64/bin:$PATH" |
73 ;; |
73 ;; |
74 *) |
74 *) |
75 fail "Bad platform identifier: \"$TARGET\"" |
75 fail "Bad platform identifier: \"$TARGET\"" |
76 ;; |
76 ;; |