equal
deleted
inserted
replaced
73 if [ "$PLATFORM" = x86-cygwin ]; then |
73 if [ "$PLATFORM" = x86-cygwin ]; then |
74 TAR="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.tar" |
74 TAR="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.tar" |
75 [ -e "$TAR" ] || fail "Missing $TAR" |
75 [ -e "$TAR" ] || fail "Missing $TAR" |
76 rm -f "$ISABELLE_HOME/Isabelle" |
76 rm -f "$ISABELLE_HOME/Isabelle" |
77 tar -C "$ISABELLE_HOME" -xv -f "$TAR" |
77 tar -C "$ISABELLE_HOME" -xv -f "$TAR" |
|
78 |
|
79 mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/" |
78 fi |
80 fi |
79 |
81 |
80 |
82 |
81 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz" |
83 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz" |
82 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE" |
84 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE" |