--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Cygwin/Cygwin-Setup.bat Tue Apr 24 16:06:12 2012 +0200
@@ -0,0 +1,4 @@
+@echo off
+
+"%CD%\contrib\cygwin-1.7.9\setup" --site http://isabelle.in.tum.de/cygwin --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin-1.7.9"
+
--- a/Admin/Cygwin/Cygwin-Terminal.bat Tue Apr 24 14:13:04 2012 +0100
+++ b/Admin/Cygwin/Cygwin-Terminal.bat Tue Apr 24 16:06:12 2012 +0200
@@ -2,4 +2,5 @@
set HOME=%HOMEDRIVE%%HOMEPATH%
set PATH=%CD%\bin;%PATH%
+set CHERE_INVOKING=true
"%CD%\contrib\cygwin-1.7.9\bin\bash" --login -i
--- a/Admin/makebundle Tue Apr 24 14:13:04 2012 +0100
+++ b/Admin/makebundle Tue Apr 24 16:06:12 2012 +0200
@@ -71,15 +71,10 @@
done
if [ "$PLATFORM" = x86-cygwin ]; then
- for NAME in Isabelle.exe Cygwin-Terminal.bat
- do
- EXE="$ARCHIVE_DIR/contrib/x86-cygwin/$NAME"
- [ ! -e "$EXE" ] && fail "Missing $NAME"
- echo "$NAME"
- cp "$EXE" "$ISABELLE_HOME/"
- chmod +x "$ISABELLE_HOME/$NAME"
- done
+ TAR="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.tar"
+ [ -e "$TAR" ] || fail "Missing $TAR"
rm -f "$ISABELLE_HOME/Isabelle"
+ tar -C "$ISABELLE_HOME" -xv -f "$TAR"
fi