mpfr: Multiple-precision floating-point computations with correct rounding#
The MPFR library is a C library for multiple-precision floating-point computations with correct rounding. MPFR has continuously been supported by the INRIA and the current main authors come from the Caramba and AriC project-teams at Loria (Nancy, France) and LIP (Lyon, France) respectively; see more on the credit page. MPFR is based on the GMP multiple-precision library.
The main goal of MPFR is to provide a library for multiple-precision floating-point computation which is both efficient and has a well-defined semantics. It copies the good ideas from the ANSI/IEEE-754 standard for double-precision floating-point arithmetic (53-bit significand).
MPFR is free. It is distributed under the GNU Lesser General Public License (GNU Lesser GPL), version 3 or later (2.1 or later for MPFR versions until 2.4.x). The library has been registered in France by the Agence de Protection des Programmes under the number IDDN FR 001 120020 00 R P 2000 000 10800, on 15 March 2000. This license guarantees your freedom to share and change MPFR, to make sure MPFR is free for all its users. Unlike the ordinary General Public License, the Lesser GPL enables developers of non-free programs to use MPFR in their programs. If you have written a new function for MPFR or improved an existing one, please share your work!
The MPFR website is located at http://mpfr.org/
The MPFR team can be contacted via the MPFR mailing list: email@example.com
Special Update/Build Instructions#
Make sure MPFR’s settings of
CFLAGSstill get properly extracted, currently from its
We should remove the
--disable-thread-safein case the issues without that have meanwhile been fixed. (Then we should actually pass
--disable-thread-safeshould be switched to
--enable-thread-safe, need to check that this works on the buildbot machines
Equivalent System Packages#
$ conda install mpfr
$ apt-cyg install libmpfr-devel
$ sudo apt-get install libmpfr-dev
$ sudo yum install mpfr-devel
$ sudo pkg install math/mpfr
$ sudo emerge dev-libs/mpfr
$ brew install mpfr
$ sudo zypper install "pkgconfig(mpfr)"
$ sudo slackpkg install mpfr
$ sudo xbps-install mpfr-devel
If the system package is installed, ./configure will check whether it can be used.