#!/bin/bash

cd $SOURCE_DIR
if [ ! -f gawk-$GAWK_VER.tar.gz ]; then
  wget ftp://ftp.gnu.org/gnu/gawk/gawk-$GAWK_VER.tar.gz
fi

cd $BUILD_DIR
rm -rf gawk-$GAWK_VER
tar -xf $SOURCE_DIR/gawk-$GAWK_VER.tar.gz

rm -rf gawk-build
mkdir -p gawk-build
cd gawk-build

../gawk-$GAWK_VER/configure \
    --host=$TARGET \
    --prefix= \
    --disable-libsigsegv
make DESTDIR=$HURD_DIR install

cd $ROOT
