fpkg -s "$(get_pkg_ver ${PPL})" ${PPL} \
"http://www.cs.unipr.it/ppl/Download/ftp/releases"
fpkg ${CLOOG_PPL} "ftp://gcc.gnu.org/pub/gcc/infrastructure"
fpkg_gnu ${BINUTILS}
fpkg_gnu ${GCC} "gcc/${GCC}"
fpkg -s "$(get_pkg_ver ${PPL})" ${PPL} \
"http://www.cs.unipr.it/ppl/Download/ftp/releases"
fpkg ${CLOOG_PPL} "ftp://gcc.gnu.org/pub/gcc/infrastructure"
fpkg_gnu ${BINUTILS}
fpkg_gnu ${GCC} "gcc/${GCC}"