#!/bin/bash

cd $SOURCE_DIR
if [ ! -f mpfr-$MPFR_VER.tar.bz2 ]; then
  wget http://mpfr.loria.fr/mpfr-current/mpfr-$MPFR_VER.tar.bz2
fi

cd $BUILD_DIR
rm -rf mpfr-$MPFR_VER
tar -xf $SOURCE_DIR/mpfr-$MPFR_VER.tar.bz2

rm -rf mpfr-build
mkdir -p mpfr-build
cd mpfr-build

../mpfr-$MPFR_VER/configure \
  --host=$TARGET \
  --prefix= \
  --enable-thread-safe \
  --enable-shared

make
make DESTDIR=$HURD_DIR install

cd $ROOT
