Lines Matching refs:ARCHIVE
730 # Unpack a given archive
732 # $1: archive file path
737 local ARCHIVE="$1"
748 case "$ARCHIVE" in
750 (cd $DIR && run unzip $ZIPFLAGS "$ARCHIVE")
753 run tar $TARFLAGS "$ARCHIVE" -C $DIR
756 run tar z$TARFLAGS "$ARCHIVE" -C $DIR
761 run tar --use-compress-prog=pbzip2 -$TARFLAGS "$ARCHIVE" -C $DIR
763 run tar j$TARFLAGS "$ARCHIVE" -C $DIR
769 panic "Cannot unpack archive with unknown extension: $ARCHIVE"
774 # Pack a given archive
776 # $1: archive file path (including extension)
777 # $2: source directory for archive content
781 local ARCHIVE="$1"
791 if [ "`basename $ARCHIVE`" = "$ARCHIVE" ] ; then
792 ARCHIVE="`pwd`/$ARCHIVE"
794 mkdir -p `dirname $ARCHIVE`
803 # this can save up to 7 MB in the size of the final archive
805 case "$ARCHIVE" in
807 (cd $SRCDIR && run zip $ZIPFLAGS "$ARCHIVE" $SRCFILES)
810 (cd $SRCDIR && run tar $TARFLAGS "$ARCHIVE" $SRCFILES)
813 (cd $SRCDIR && run tar z$TARFLAGS "$ARCHIVE" $SRCFILES)
818 (cd $SRCDIR && run tar --use-compress-prog=pbzip2 -$TARFLAGS "$ARCHIVE" $SRCFILES)
820 (cd $SRCDIR && run tar j$TARFLAGS "$ARCHIVE" $SRCFILES)
824 panic "Unsupported archive format: $ARCHIVE"
