#!/bin/bash

DEPS=(glibc gmp)

PKG_VER=4.1.0
SOURCE=https://www.mpfr.org/mpfr-current/mpfr-$PKG_VER.tar.xz

DESC="Multiple-precision floating-point library"

build () {
    ./configure --prefix=/usr --disable-static --enable-thread-safe --docdir=/usr/share/doc/mpfr-$PKG_VER
    make
    make html

    make check

    make DESTDIR=$PKG_DEST install
    make DESTDIR=$PKG_DEST install-html
}