#!/bin/bash

if [ -d $SOURCE_DIR/gnumach ] ; then
  cd $SOURCE_DIR/gnumach && git pull origin
else
  cd $SOURCE_DIR
  git clone git://git.sv.gnu.org/hurd/gnumach.git
fi

cd $BUILD_DIR
rm -rf $BUILD_DIR/gnumach
cp -a $SOURCE_DIR/gnumach .
cd $BUILD_DIR/gnumach
autoreconf -vif

rm -rf $BUILD_DIR/gnumach-headers-build
mkdir -p $BUILD_DIR/gnumach-headers-build
cd $BUILD_DIR/gnumach-headers-build
  
CC=gcc \
../gnumach/configure \
  --host=$TARGET \
  --prefix=
  
make DESTDIR=$HURD_DIR install-data

cd $ROOT
