OS X / MPFR

labs.beatcraft.com
OS X

Installing MPFR on Mac OS X †

About MPFR †

MPFR (http://www.mpfr.org) 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)
  http://www.mpfr.org/
  /usr/local/Cellar/mpfr/3.1.2 (23 files, 3.3M) *
    Poured from bottle
  From: https://github.com/Homebrew/homebrew/commits/master/Library/Formula/mpfr.rb
  ==> Dependencies
  Required: gmp レ
  ==> Options
  --32-bit
  	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