equal
deleted
inserted
replaced
69 fi |
69 fi |
70 fi |
70 fi |
71 done |
71 done |
72 |
72 |
73 if [ "$PLATFORM" = x86-cygwin ]; then |
73 if [ "$PLATFORM" = x86-cygwin ]; then |
74 EXE="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.exe" |
74 for NAME in Isabelle.exe Cygwin-Terminal.bat |
75 if [ -e "$EXE" ]; then |
75 do |
76 rm -f "$ISABELLE_HOME/Isabelle" |
76 EXE="$ARCHIVE_DIR/contrib/x86-cygwin/$NAME" |
|
77 [ ! -e "$EXE" ] && fail "Missing $NAME" |
|
78 echo "$NAME" |
77 cp "$EXE" "$ISABELLE_HOME/" |
79 cp "$EXE" "$ISABELLE_HOME/" |
78 chmod +x "$ISABELLE_HOME/Isabelle.exe" |
80 chmod +x "$ISABELLE_HOME/$NAME" |
79 else |
81 done |
80 fail "Missing $EXE" |
82 rm -f "$ISABELLE_HOME/Isabelle" |
81 fi |
|
82 fi |
83 fi |
83 |
84 |
84 |
85 |
85 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz" |
86 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz" |
86 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE" |
87 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE" |