author | wenzelm |
Wed, 19 Jan 2011 15:22:35 +0100 | |
changeset 41613 | 5bde4a5cc172 |
parent 41611 | f23ce44fbaec (diff) |
parent 41612 | c15e7d36912a (current diff) |
child 41614 | b7cd80330a16 |
--- a/Admin/makebundle Wed Jan 19 11:27:56 2011 +0100 +++ b/Admin/makebundle Wed Jan 19 15:22:35 2011 +0100 @@ -69,6 +69,11 @@ tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE" +if [ "$PLATFORM" = x86-cygwin ]; then + rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral" + ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral" +fi + BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz" echo "$(basename "$BUNDLE_ARCHIVE")"