Admin/lib/Tools/makedist_cygwin
changeset 50834 506342881c33
parent 50811 d02b9918e4d4
child 50838 ad959a8b951e
--- a/Admin/lib/Tools/makedist_cygwin	Fri Jan 11 14:33:44 2013 +0100
+++ b/Admin/lib/Tools/makedist_cygwin	Fri Jan 11 14:54:52 2013 +0100
@@ -2,6 +2,11 @@
 #
 # DESCRIPTION: produce pre-canned Cygwin distribution for Isabelle
 
+## global parameters
+
+CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2013"
+
+
 ## diagnostics
 
 PRG=$(basename "$0")
@@ -38,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 'http://cygwin.com/setup.exe';" > "$TARGET/isabelle/cygwin.exe"
+perl -MLWP::Simple -e "getprint '$CYGWIN_MIRROR/setup.exe';" > "$TARGET/isabelle/cygwin.exe"
 chmod +x "$TARGET/isabelle/cygwin.exe"
 
 "$TARGET/isabelle/cygwin.exe" -h </dev/null >/dev/null || exit 2
@@ -47,7 +52,8 @@
 # install
 
 "$TARGET/isabelle/cygwin.exe" \
-  --local-package-dir "$(cygpath -w "$TMP/cygwin")" \
+  --site "$CYGWIN_MIRROR" --no-verify \
+  --local-package-dir 'C:\tmp' \
   --root "$(cygpath -w "$TARGET")" \
   --packages libgmp3,perl,python,rlwrap \
   --no-shortcuts --no-startmenu --no-desktop --quiet-mode
@@ -71,4 +77,5 @@
 
 # archive
 
-tar cvzf "${TARGET}.tar.gz" "$TARGET"
+DATE=$(date +%Y%m%d)
+tar -C "$TARGET/.." -cz -f "cygwin-${DATE}.tar.gz" cygwin