#!/bin/bash

cd $SOURCE_DIR
if [ ! -f gmp-$GMP_VER.tar.bz2 ]; then
  wget ftp://ftp.gnu.org/gnu/gmp/gmp-$GMP_VER.tar.bz2
fi

cd $BUILD_DIR
rm -rf gmp-$GMP_VER
tar -xf $SOURCE_DIR/gmp-$GMP_VER.tar.bz2

rm -rf gmp-build
mkdir -p gmp-build
cd gmp-build

../gmp-$GMP_VER/configure \
  --host=$TARGET \
  --prefix=/ --infodir=/share/info

make
make DESTDIR=$HURD_DIR install

cd $ROOT
