#!/bin/bash

MAKE=${MAKE:=make}

set -exo pipefail

wget http://mpir.org/mpir-2.7.2.tar.bz2
tar -xf mpir-2.7.2.tar.bz2
mkdir -p local

pushd mpir-2.7.2
./configure ABI=$ABI --enable-gmpcompat --prefix=${LOCAL}
${MAKE}
${MAKE} install
popd

wget http://www.mpfr.org/mpfr-4.0.0/mpfr-4.0.0.tar.bz2
tar -xf mpfr-4.0.0.tar.bz2
pushd mpfr-4.0.0
./configure ABI=$ABI --with-gmp=${LOCAL} --prefix=${LOCAL}
${MAKE}
${MAKE} install
popd
 
git clone --branch $FLINT_TAG https://github.com/wbhart/flint2
pushd flint2
./configure --with-mpir=${LOCAL} --with-mpfr=${LOCAL} --prefix=${LOCAL}
${MAKE}
${MAKE} install
popd

