Admin/makebundle
changeset 41650 0ec66d976f5b
parent 41627 0040e0ea02e7
child 44807 44db3e309060
equal deleted inserted replaced
41649:57181bb1dfe0 41650:0ec66d976f5b
    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 (
       
    73   cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
       
    74   find . -name "*.elc" -exec rm {} ";"
       
    75 )
       
    76 
    72 case "$PLATFORM" in
    77 case "$PLATFORM" in
    73   x86-linux)
       
    74     (
       
    75       cd "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
       
    76       find . -name "*.elc" -exec rm {} ";"
       
    77     )
       
    78     ;;
       
    79   x86-cygwin)
    78   x86-cygwin)
    80     rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    79     rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    81     ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    80     ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    82     ;;
    81     ;;
    83   *)
    82   *)