6.18. MPFR-3.1.2

6.18.1. Installation of MPFR

First, apply the following patch to fix various bugs that have been addressed upstream:

patch -Np1 -i ../mpfr-3.1.2-upstream_fixes-3.patch

Prepare MPFR for compilation:

./configure --prefix=/usr        \
            --disable-static     \
            --enable-thread-safe \
            --docdir=/usr/share/doc/mpfr-3.1.2

Compile the package and generate the HTML documentation:

make
make html

Test the results and ensure that all tests passed:

make check

Install the package and its documentation to a temporary directory:

make install DESTDIR=$(pwd)/debian/tmp
make install-html DESTDIR=$(pwd)/debian/tmp

Create the package archive:

buildpkg

Install the package:

dpkg -i ../mpfr_3.1.2_*.deb