#!/bin/bash
cd /usr/src/mpfr-*/ ||exit

./configure --prefix=/usr --libexecdir=/usr/lib --sysconfdir=/etc \
  --with-gmp=/usr &&
make &&
make install