Lines Matching full:extract
159 # extract into the original sysroot
429 # Location of original sysroot. This is where we're going to extract all
716 # Write a small awk script used to extract filenames for a given package
717 cat > $DOWNLOAD_DIR/extract-filename.awk <<EOF
752 # The following is an awk command to parse the Packages file and extract
755 local FILE=`awk -f "$DOWNLOAD_DIR/extract-filename.awk" -v PKG=$1 $DOWNLOAD_DIR/Packages-$3`
1470 task2_define extract_gmp "Extract sources for gmp-$GMP_VERSION"
1517 task2_define extract_mpfr "Extract sources from mpfr-$MPFR_VERSION"
1562 task2_define extract_mpc "Extract sources for mpc-$MPC_VERSION"
1607 task2_define extract_isl "Extract sources for isl-$ISL_VERSION"
