#! /bin/sh

wget http://mpir.org/mpir-2.7.0.tar.bz2
tar -xf mpir-2.7.0.tar.bz2
cd mpir-2.7.0
./configure --enable-gmpcompat --prefix=$HOME/deps
make -j4 > /dev/null 2>&1
make install
cd ..

wget http://www.mpfr.org/mpfr-current/mpfr-3.1.4.tar.bz2
tar -xf mpfr-3.1.4.tar.bz2
cd mpfr-3.1.4
./configure --with-gmp=$HOME/deps --prefix=$HOME/deps
make -j4 > /dev/null 2>&1
make install
cd ..

wget wget https://github.com/wbhart/flint2/archive/trunk.tar.gz
tar -xf trunk.tar.gz
cd flint2-trunk
./configure --with-gmp=$HOME/deps --with-mpfr=$HOME/deps --prefix=$HOME/deps
make -j4 > /dev/null 2>&1
make install
cd ..