name=mpfr
version=3.1.3

dlextract "https://ftp.gnu.org/gnu/$name/$name-$version.tar.xz" \
          "6969398cd2fbc56a6af570b5273c56a9"
header_end

cd "$name-$version"

./configure --prefix=/usr
make
do_check make check
make DESTDIR="$dir_install" install

# vim:set tabstop=4 shiftwidth=4 syntax=sh et: