diff options
| author | Jason Gross | 2014-09-09 14:37:40 -0400 |
|---|---|---|
| committer | Jason Gross | 2014-09-09 14:37:40 -0400 |
| commit | 53aaa78e51c163f54a5f55bcf54b2ec7627aa791 (patch) | |
| tree | 0d22aa3651cca683e42f1af23e831c99c1a288ed /dev | |
| parent | 7fa5d7af208c5ff305674739859dbb8f066ffb87 (diff) | |
Support 64-bit cygwin
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/make-sdk-win32.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/make-sdk-win32.sh b/dev/make-sdk-win32.sh index a0dec19faf..9f904cbaaf 100755 --- a/dev/make-sdk-win32.sh +++ b/dev/make-sdk-win32.sh @@ -27,7 +27,7 @@ glib_URL='http://dl.arirux.de/5/binaries32/'$glib gtk_URL='http://dl.arirux.de/5/binaries32/'$gtk camlp5_URL='http://pauillac.inria.fr/~ddr/camlp5/distrib/src/'$camlp5 -cygwin=setup-x86.exe +cygwin=setup-${HOSTTYPE/i6/x}.exe cygwin_URL='http://cygwin.com/'$cygwin cygwin_PKGS=p7zip,zip,sed,make,mingw64-i686-gcc-g++,mingw64-i686-gcc-core,mingw64-i686-gcc,patch,rlwrap,libreadline6,diffutils |