36 # download |
41 # download |
37 |
42 |
38 [ ! -e "$TARGET" ] || fail "Target already exists: \"$TARGET\"" |
43 [ ! -e "$TARGET" ] || fail "Target already exists: \"$TARGET\"" |
39 mkdir -p "$TARGET/isabelle" || fail "Failed to create target directory: \"$TARGET\"" |
44 mkdir -p "$TARGET/isabelle" || fail "Failed to create target directory: \"$TARGET\"" |
40 |
45 |
41 perl -MLWP::Simple -e "getprint 'http://cygwin.com/setup.exe';" > "$TARGET/isabelle/cygwin.exe" |
46 perl -MLWP::Simple -e "getprint '$CYGWIN_MIRROR/setup.exe';" > "$TARGET/isabelle/cygwin.exe" |
42 chmod +x "$TARGET/isabelle/cygwin.exe" |
47 chmod +x "$TARGET/isabelle/cygwin.exe" |
43 |
48 |
44 "$TARGET/isabelle/cygwin.exe" -h </dev/null >/dev/null || exit 2 |
49 "$TARGET/isabelle/cygwin.exe" -h </dev/null >/dev/null || exit 2 |
45 |
50 |
46 |
51 |
47 # install |
52 # install |
48 |
53 |
49 "$TARGET/isabelle/cygwin.exe" \ |
54 "$TARGET/isabelle/cygwin.exe" \ |
50 --local-package-dir "$(cygpath -w "$TMP/cygwin")" \ |
55 --site "$CYGWIN_MIRROR" --no-verify \ |
|
56 --local-package-dir 'C:\tmp' \ |
51 --root "$(cygpath -w "$TARGET")" \ |
57 --root "$(cygpath -w "$TARGET")" \ |
52 --packages libgmp3,perl,python,rlwrap \ |
58 --packages libgmp3,perl,python,rlwrap \ |
53 --no-shortcuts --no-startmenu --no-desktop --quiet-mode |
59 --no-shortcuts --no-startmenu --no-desktop --quiet-mode |
54 |
60 |
55 [ "$?" = 0 -a -e "$TARGET/etc" ] || exit 2 |
61 [ "$?" = 0 -a -e "$TARGET/etc" ] || exit 2 |