#!/bin/bash

source ../functions/main

update_packages_init ${*}

if [ x"${INSTALL_GLIBC}" == x"1" ]; then
    fpkg -m gnu ${GLIBC}
    fpkg -s "linux/kernel/v$(get_pkg_ver1 ${KERNEL}).0" ${KERNEL} \
         ${KERNEL_URL}
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}

if [ x"${HVL_TARGET}" == x"avr" ]; then
    fpkg ${AVRLIBC} "http://download.savannah.gnu.org/releases/avr-libc"
fi

exit $?