Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated cygwin snapshot;
authorwenzelm
Mon, 16 Sep 2013 13:11:32 +0200
changeset 53659 85ae414b0363
parent 53658 9e8714b4661a
child 53660 c6554160b9ea
updated cygwin snapshot;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/lib/Tools/makedist_cygwin file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Sep 16 12:51:33 2013 +0200
+++ b/Admin/components/components.sha1	Mon Sep 16 13:11:32 2013 +0200
@@ -3,6 +3,7 @@
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
 3b44cca04855016d5f8cfb5101b2e0579ab80197  cygwin-20130117.tar.gz
 1fde9ddf0fa4f398965113d0c0c4f0e97c78d008  cygwin-20130716.tar.gz
+a03735a53c2963eb0b453f6a7282d3419f28bf38  cygwin-20130916.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
--- a/Admin/lib/Tools/makedist_cygwin	Mon Sep 16 12:51:33 2013 +0200
+++ b/Admin/lib/Tools/makedist_cygwin	Mon Sep 16 13:11:32 2013 +0200
@@ -4,7 +4,7 @@
 
 ## global parameters
 
-CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2013"
+CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2013-1"
 
 
 ## diagnostics
@@ -43,7 +43,7 @@
 [ ! -e "$TARGET" ] || fail "Target already exists: \"$TARGET\""
 mkdir -p "$TARGET/isabelle" || fail "Failed to create target directory: \"$TARGET\""
 
-perl -MLWP::Simple -e "getprint '$CYGWIN_MIRROR/setup.exe';" > "$TARGET/isabelle/cygwin.exe"
+perl -MLWP::Simple -e "getprint '$CYGWIN_MIRROR/setup-x86.exe';" > "$TARGET/isabelle/cygwin.exe"
 chmod +x "$TARGET/isabelle/cygwin.exe"
 
 "$TARGET/isabelle/cygwin.exe" -h </dev/null >/dev/null || exit 2
@@ -55,7 +55,7 @@
   --site "$CYGWIN_MIRROR" --no-verify \
   --local-package-dir 'C:\temp' \
   --root "$(cygpath -w "$TARGET")" \
-  --packages libgmp3,make,perl,python,rlwrap,vim \
+  --packages libgmp3,perl,python,rlwrap,vim \
   --no-shortcuts --no-startmenu --no-desktop --quiet-mode
 
 [ "$?" = 0 -a -e "$TARGET/etc" ] || exit 2
isabelle