+if [ x"${INSTALL_GLIBC}" == x"1" ]; then
+ if [ "x${KERNEL}" = "x${NOUVEAU_NVIDIA_KERNEL}" ]; then
+ # Special case
+ fpkg -m hv ${KERNEL}
+ else
+ fpkg -s "linux/kernel/v$(get_pkg_ver1 ${KERNEL}).0" ${KERNEL} \
+ ${KERNEL_URL}
+ fi
+fi
+
+fpkg -m gnu ${GMP}
+fpkg -m gnu ${MPFR}
+fpkg -e "tar.gz" ${MPC} "http://www.multiprecision.org/mpc/download"
+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}