Searched refs:PKG_NAME (Results 1 – 2 of 2) sorted by relevance
147 local PKG_NAME=$(basename $PKG_URL)149 case $PKG_NAME in151 PKG_BASENAME=${PKG_NAME%%.tar.bz2}154 PKG_BASENAME=${PKG_NAME%%.tar.gz}157 panic "Unknown archive type: $PKG_NAME"160 if [ ! -f "$ARCHIVE_DIR/$PKG_NAME" ]; then162 (cd $ARCHIVE_DIR && run curl -L -o "$PKG_NAME" "$PKG_URL")168 case $PKG_NAME in170 run tar xjf $ARCHIVE_DIR/$PKG_NAME -C $SRC_DIR173 run tar xzf $ARCHIVE_DIR/$PKG_NAME -C $SRC_DIR[all …]
351 local PKG_NAME=$(basename $PKG_URL)353 case $PKG_NAME in355 PKG_BASENAME=${PKG_NAME%%.tar.bz2}358 PKG_BASENAME=${PKG_NAME%%.tar.gz}361 panic "Unknown archive type: $PKG_NAME"364 if [ ! -f "$ARCHIVE_DIR/$PKG_NAME" ]; then366 (cd $ARCHIVE_DIR && run curl -L -o "$PKG_NAME" "$PKG_URL")370 MD5SUM=$(md5sum $ARCHIVE_DIR/$PKG_NAME | cut -d" " -f1)375 case $PKG_NAME in377 run tar xjf $ARCHIVE_DIR/$PKG_NAME -C $SRC_DIR[all …]