-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 ${EGLIBC} "http://cross-lfs.org/files/packages/svn"
-fpkg ${EGLIBC_PORTS} "http://cross-lfs.org/files/packages/svn"
+fpkg ${ISL} "http://isl.gforge.inria.fr"
+fpkg -e "tar.gz" ${CLOOG} "http://www.bastoul.net/cloog/pages/download"
+fpkg -e "tar.bz2" -m gnu ${BINUTILS}
+fpkg -m gnu -s "gcc/${GCC}" ${GCC}
+
+if [ x"${INSTALL_GLIBC}" == x1 ]; then
+ fpkg -m gnu ${GLIBC}
+fi
+
+if [ x"${HVL_TARGET}" == x"avr" ]; then
+ fpkg ${AVRLIBC} "http://download.savannah.gnu.org/releases/avr-libc"
+fi