Admin/makebundle
changeset 41627 0040e0ea02e7
parent 41611 f23ce44fbaec
child 41650 0ec66d976f5b
equal deleted inserted replaced
41626:057bbb28d3ff 41627:0040e0ea02e7
    67 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE"
    67 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE"
    68 echo "heaps"
    68 echo "heaps"
    69 tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
    69 tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
    70 
    70 
    71 
    71 
    72 if [ "$PLATFORM" = x86-cygwin ]; then
    72 case "$PLATFORM" in
    73   rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    73   x86-linux)
    74   ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    74     (
    75 fi
    75       cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
       
    76       find . -name "*.elc" -exec rm {} ";"
       
    77     )
       
    78     ;;
       
    79   x86-cygwin)
       
    80     rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
       
    81     ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
       
    82     ;;
       
    83   *)
       
    84     ;;
       
    85 esac
    76 
    86 
    77 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
    87 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
    78 
    88 
    79 echo "$(basename "$BUNDLE_ARCHIVE")"
    89 echo "$(basename "$BUNDLE_ARCHIVE")"
    80 tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME"
    90 tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME"