merged
authorwenzelm
Wed, 19 Jan 2011 15:22:35 +0100
changeset 41613 5bde4a5cc172
parent 41611 f23ce44fbaec (diff)
parent 41612 c15e7d36912a (current diff)
child 41614 b7cd80330a16
merged
--- 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")"