targ_extra_libpath="elf_i386 elf32_x86_64 elf_l1om elf_k1om"
tdir_i386linux=`echo ${targ_alias}aout | sed -e 's/x86_64/i386/'`
tdir_elf_i386=`echo ${targ_alias} | sed -e 's/x86_64/i386/'` ;;
-+x86_64-k1om-barrelfish*) targ_emul=barrelfish_k1om
++x86_64-k1om-barrelfish*) targ_emul=barrelfish_k1om ;;
+x86_64-*-barrelfish*) targ_emul=barrelfish_x86_64 ;;
i[3-7]86-*-sysv[45]*) targ_emul=elf_i386 ;;
i[3-7]86-*-solaris2*) targ_emul=elf_i386_sol2
set -x # Trace each command before execution.
BASEDIR=$(pwd)
-BASEDIR=~/eth/barrelfish
+BASEDIR=/local/acreto
export TARGET=x86_64-k1om-barrelfish
# Path of your Barrelfish source and build tree.
-BARRELFISH_SOURCE=$BASEDIR/barrelfish
+BARRELFISH_SOURCE=$BASEDIR/barrelfish.xeon-phi
BARRELFISH_BUILD=$BASEDIR/build
# Modify these versions to match the corresponding patch.
pushd "${TOOLCHAIN_BUILD}"
# 1. binutils - GNU Binary Utilities
-curl -L -O "http://ftp.gnu.org/gnu/binutils/${BINUTILS}.tar.gz"
+wget "http://ftp.gnu.org/gnu/binutils/${BINUTILS}.tar.gz"
tar xzvf ${BINUTILS}.tar.gz
pushd ${BINUTILS}/
patch -p1 < "${BINUTILS_PATCH}"
# 2. GCC - GNU Compiler Collection
-curl -L -O "ftp://ftp.fu-berlin.de/unix/languages/gcc/releases/${GCC}/${GCC}.tar.bz2"
+wget "ftp://ftp.fu-berlin.de/unix/languages/gcc/releases/${GCC}/${GCC}.tar.bz2"
tar xjvf ${GCC}.tar.bz2
pushd ${GCC}/
source ./contrib/download_prerequisites