Installing MPFR on Mac OS X

About MPFR

MPFR ( is the acronym of Multiple Precision Floating-Point Reliable Library. MPFR is a C library for multiple-precision floating-point computations with current rounding. This C library has been continuously supported by INRIA (French Institute for Research in Computer Science and Automation), and this library is currently maintained by groups of scientists at Loria (Lorraine Research Laboratory in Computer Science and its Applications, Nancy, France) and at LIP (Laboratory of Parallel Computing, Lyon, France).

The goal of MPFR is to provide a C library for multiple-precision floating-point computation. This library is aimed to be efficient and to have a well-defined semantics. MPFR has copied the idea of double precision floating-point arithmetic (53-bit significand) from the ANSI/IEEE-754 standard.

Installing MPFR on Mac OS X

To install MPFR on Mac OS X, please use homebrew. (Please install homebrew prior to install MPFP.) In this article, MPFR is installed on Mac OS X Mavericks 10.9.3.

For the details of how to install homebrew, please visit this page.

To use the command line of homebrew below, please install MPFR.

$ brew install mpfr

To check whether MPFR is installed correctly or not, please use a command of homebrew and examine a directory. If MPFR is successfully installed, the information and contents are shown as applying the command and examining the directory.

  • Apply the command line below
    $ brew info mpfr
    mpfr: stable 3.1.2 (bottled)
    /usr/local/Cellar/mpfr/3.1.2 (23 files, 3.3M) *
      Poured from bottle
    ==> Dependencies
    Required: gmp レ
    ==> Options
    	Build 32-bit only
  • Check the contents of directory of /usr/local/Cellar/mpfr/3.1.2/lib/
    $ ls -al /usr/local/Cellar/mpfr/3.1.2/lib/
    total 1960
    drwxr-xr-x   5 otsuka  admin     170 12  5 14:02 .
    drwxr-xr-x  12 otsuka  admin     408  3  7 19:56 ..
    -r--r--r--   1 otsuka  admin  348004  3  7 19:56 libmpfr.4.dylib
    -r--r--r--   1 otsuka  admin  650376 12  5 14:02 libmpfr.a
    lrwxr-xr-x   1 otsuka  admin      15 12  5 14:02 libmpfr.dylib -> libmpfr.4.dylib
  • Check the contents of directory of /usr/local/lib/libmpfr*
    $ ls -al /usr/local/lib/libmpfr*
    lrwxr-xr-x  1 otsuka  admin  40  3  7 19:56 /usr/local/lib/libmpfr.4.dylib -> ../Cellar/mpfr/3.1.2/lib/libmpfr.4.dylib
    lrwxr-xr-x  1 otsuka  admin  34  3  7 19:56 /usr/local/lib/libmpfr.a -> ../Cellar/mpfr/3.1.2/lib/libmpfr.a
    lrwxr-xr-x  1 otsuka  admin  38  3  7 19:56 /usr/local/lib/libmpfr.dylib -> ../Cellar/mpfr/3.1.2/lib/libmpfr.dylib

Revision History

2015/01/06 This article is initially uploaded

Front page   Edit Freeze Diff Backup Upload Copy Rename Reload   New List of pages Search Recent changes   RSS of recent changes
Last-modified: 2015-01-06 (Tue) 04:56:27 (1053d)