# HG changeset patch # User wenzelm # Date 1357912492 -3600 # Node ID 506342881c330994cdde3519db85cf405c226aff # Parent 133a38b7ceaf9d12733285a07664c8376db95422 refer to cygwin mirror with static copy of setup.ini; tuned; diff -r 133a38b7ceaf -r 506342881c33 Admin/lib/Tools/makedist_cygwin --- 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 || 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