# HG changeset patch
# User wenzelm
# Date 1428699210 -7200
# Node ID e1d8c5099bef60006e186f2759d92b45aed30c8e
# Parent  e27e7be1f2f611ac5ad6ca214a06d19983f8f317
updated Cygwin near 1.7.35-1;

diff -r e27e7be1f2f6 -r e1d8c5099bef Admin/components/bundled-windows
--- a/Admin/components/bundled-windows	Fri Apr 10 19:05:00 2015 +0200
+++ b/Admin/components/bundled-windows	Fri Apr 10 22:53:30 2015 +0200
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
-cygwin-20140813
+cygwin-20150410
 windows_app-20131201
diff -r e27e7be1f2f6 -r e1d8c5099bef Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Apr 10 19:05:00 2015 +0200
+++ b/Admin/components/components.sha1	Fri Apr 10 22:53:30 2015 +0200
@@ -14,6 +14,7 @@
 8e562dfe57a2f894f9461f4addedb88afa108152  cygwin-20140725.tar.gz
 238d8e30e8e22495b7ea3f5ec36e852e97fe8bbf  cygwin-20140813.tar.gz
 629b8fbe35952d1551cd2a7ff08db697f6dff870  cygwin-20141024.tar.gz
+ce93d0b3b2743c4f4e5bba30c2889b3b7bc22f2c  cygwin-20150410.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
diff -r e27e7be1f2f6 -r e1d8c5099bef Admin/lib/Tools/makedist_cygwin
--- a/Admin/lib/Tools/makedist_cygwin	Fri Apr 10 19:05:00 2015 +0200
+++ b/Admin/lib/Tools/makedist_cygwin	Fri Apr 10 22:53:30 2015 +0200
@@ -4,7 +4,7 @@
 
 ## global parameters
 
-CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2014"
+CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2015"
 
 
 ## diagnostics
@@ -55,7 +55,7 @@
   --site "$CYGWIN_MIRROR" --no-verify \
   --local-package-dir 'C:\temp' \
   --root "$(cygpath -w "$TARGET")" \
-  --packages libgmp3,perl,perl_vendor,rlwrap,unzip,vim \
+  --packages perl,perl-libwww-perl,rlwrap,unzip,vim \
   --no-shortcuts --no-startmenu --no-desktop --quiet-mode
 
 [ "$?" = 0 -a -e "$TARGET/etc" ] || exit 2
@@ -65,7 +65,7 @@
 
 for NAME in hosts protocols services networks passwd group
 do
-  rm "$TARGET/etc/$NAME"
+  rm -f "$TARGET/etc/$NAME"
 done
 
 ln -s cygperl5_14.dll "$TARGET/bin/cygperl5_14_2.dll"
@@ -77,4 +77,3 @@
 
 DATE=$(date +%Y%m%d)
 tar -C "$TARGET/.." -cz -f "cygwin-${DATE}.tar.gz" cygwin
-