Home | History | Annotate | Line # | Download | only in dist
INSTALL revision 1.1.1.3
      1  1.1.1.3  mrg Copyright 1999-2016 Free Software Foundation, Inc.
      2  1.1.1.3  mrg Contributed by the AriC and Caramba projects, INRIA.
      3      1.1  mrg 
      4      1.1  mrg This file is part of the GNU MPFR Library.
      5      1.1  mrg 
      6      1.1  mrg The GNU MPFR Library is free software; you can redistribute it and/or modify
      7      1.1  mrg it under the terms of the GNU Lesser General Public License as published by
      8      1.1  mrg the Free Software Foundation; either version 3 of the License, or (at your
      9      1.1  mrg option) any later version.
     10      1.1  mrg 
     11      1.1  mrg The GNU MPFR Library is distributed in the hope that it will be useful, but
     12      1.1  mrg WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
     13      1.1  mrg or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
     14      1.1  mrg License for more details.
     15      1.1  mrg 
     16      1.1  mrg You should have received a copy of the GNU Lesser General Public License
     17      1.1  mrg along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
     18      1.1  mrg http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
     19      1.1  mrg 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
     20      1.1  mrg 
     21      1.1  mrg 
     22      1.1  mrg 
     23      1.1  mrg                         Installing GNU MPFR
     24      1.1  mrg                         ===================
     25      1.1  mrg 
     26      1.1  mrg Note: In case of problem, please read this INSTALL file carefully before
     27      1.1  mrg reporting a bug, in particular Section "In case of problem" below. Some
     28      1.1  mrg problems are due to bad configuration on the user side (not specific to
     29      1.1  mrg MPFR).
     30      1.1  mrg 
     31      1.1  mrg 0. You first need to install GMP. See <http://www.gnu.org/software/gmp/>.
     32      1.1  mrg    MPFR requires GMP version 4.1 or later.
     33      1.1  mrg 
     34      1.1  mrg 1. Extract the files from the archive.
     35      1.1  mrg 
     36  1.1.1.2  mrg 2. It is strongly advised to apply the latest patches if this has
     37  1.1.1.2  mrg    not been done yet and if patches are available. You can check
     38  1.1.1.2  mrg    on the release page:
     39  1.1.1.2  mrg 
     40  1.1.1.3  mrg      http://www.mpfr.org/mpfr-3.1.5/
     41  1.1.1.2  mrg 
     42  1.1.1.2  mrg    which may have additional information. The patches can be applied
     43  1.1.1.2  mrg    with commands like:
     44  1.1.1.2  mrg 
     45  1.1.1.3  mrg      wget http://www.mpfr.org/mpfr-3.1.5/allpatches
     46      1.1  mrg      patch -N -Z -p1 < allpatches
     47  1.1.1.2  mrg 
     48      1.1  mrg    or
     49  1.1.1.2  mrg 
     50  1.1.1.3  mrg      curl http://www.mpfr.org/mpfr-3.1.5/allpatches | patch -N -Z -p1
     51      1.1  mrg 
     52      1.1  mrg    (Those instructions are for the GNU patch command, for example
     53  1.1.1.2  mrg    /usr/bin/gpatch on Solaris.)
     54      1.1  mrg 
     55      1.1  mrg 3. In the MPFR directory, to detect your system, type:
     56      1.1  mrg      ./configure
     57      1.1  mrg    possibly with options (see below, in particular if this step or
     58  1.1.1.2  mrg    one of the following fails). You should also check whether WARNING
     59  1.1.1.2  mrg    lines have been output (such a problem may cause a failure in one
     60  1.1.1.2  mrg    of the following steps).
     61      1.1  mrg    Note: paths provided in configure options must always be absolute
     62      1.1  mrg    (relative paths are not supported).
     63      1.1  mrg 
     64      1.1  mrg 4. To build the library, type:
     65      1.1  mrg      make
     66      1.1  mrg 
     67      1.1  mrg    [optional] if you want to tune MPFR for your specific architecture, see
     68      1.1  mrg    the section "Tuning MPFR" below. Note that for most common architectures,
     69      1.1  mrg    MPFR includes some default tuning parameters which should be near from
     70      1.1  mrg    optimal.
     71      1.1  mrg 
     72      1.1  mrg 5. To check the built library (runs the test files), type:
     73      1.1  mrg      make check
     74      1.1  mrg 
     75  1.1.1.3  mrg    Note: If any test fails, information about this failure can be found in
     76  1.1.1.3  mrg    the tests/test-suite.log file; you should provide this file in your bug
     77  1.1.1.3  mrg    reports (in addition to other useful information, as mentioned later).
     78  1.1.1.3  mrg    If you want the contents of this file to be automatically output in case
     79  1.1.1.3  mrg    of failure, you can set the VERBOSE environment variable to 1 before
     80  1.1.1.3  mrg    running "make check", for instance by typing:
     81  1.1.1.3  mrg      VERBOSE=1 make check
     82  1.1.1.3  mrg 
     83      1.1  mrg 6. To install it (default "/usr/local" | see "--prefix" option), type:
     84      1.1  mrg      make install
     85      1.1  mrg 
     86      1.1  mrg If you installed MPFR (header and library) in directories that are
     87      1.1  mrg not searched by default by the compiler and/or linking tools, then,
     88      1.1  mrg like with other libraries, you may need to set up some environment
     89      1.1  mrg variables such as C_INCLUDE_PATH (to find the header mpfr.h),
     90      1.1  mrg LIBRARY_PATH (to find the library), and if the shared library has
     91      1.1  mrg been installed, LD_LIBRARY_PATH (before execution) or LD_RUN_PATH
     92      1.1  mrg (before linking); this list is not exhaustive and some environment
     93      1.1  mrg variables may be specific to your system. "make install" gives some
     94      1.1  mrg instructions; please read them. You can also find more information
     95      1.1  mrg in the manuals of your compiler and linker. The MPFR FAQ may also
     96      1.1  mrg give some information.
     97      1.1  mrg 
     98      1.1  mrg Remember that if you have several MPFR (or GMP) versions installed
     99      1.1  mrg (e.g., one with the system, and one, newer, by you), you will not
    100      1.1  mrg necessarily get a compilation/linking error if a wrong library is
    101      1.1  mrg used (e.g., because LD_LIBRARY_PATH has not been set correctly).
    102      1.1  mrg But unexpected results may occur.
    103      1.1  mrg 
    104      1.1  mrg Under Mac OS X, if the shared library was not installed and you use
    105      1.1  mrg Apple's linker (this is the default), you will also need to provide
    106      1.1  mrg the -search_paths_first linker flag ("-Wl,-search_paths_first" when
    107      1.1  mrg you link via gcc) to make sure that the right library is selected,
    108      1.1  mrg as by default, Apple's linker selects a shared library preferably,
    109      1.1  mrg even when it is farther in the library paths. We recall that if a
    110      1.1  mrg wrong library is selected due to this behavior, unexpected results
    111      1.1  mrg may occur.
    112      1.1  mrg 
    113      1.1  mrg 
    114      1.1  mrg Building the documentation
    115      1.1  mrg ==========================
    116      1.1  mrg 
    117      1.1  mrg To build the documentation in various formats, you may first need to
    118      1.1  mrg install recent versions of some utilities such as texinfo.
    119      1.1  mrg 
    120      1.1  mrg * Type "make info" to produce the documentation in the info format.
    121      1.1  mrg 
    122      1.1  mrg * Type "make pdf" to produce the documentation in the PDF format.
    123      1.1  mrg 
    124      1.1  mrg * Type "make dvi" to produce the documentation in the DVI format.
    125      1.1  mrg 
    126      1.1  mrg * Type "make ps" to produce the documentation in the Postscript format.
    127      1.1  mrg 
    128      1.1  mrg * Type "make html" to produce the documentation in the HTML format
    129      1.1  mrg   (in several pages); if you want only one output HTML file, then
    130  1.1.1.2  mrg   type "makeinfo --html --no-split mpfr.texi" from the doc directory
    131  1.1.1.2  mrg   instead.
    132      1.1  mrg 
    133      1.1  mrg 
    134      1.1  mrg Building MPFR with internal GMP header files
    135      1.1  mrg ============================================
    136      1.1  mrg 
    137      1.1  mrg MPFR built with internal GMP header files is a bit faster, so you may want
    138      1.1  mrg to build it with them. Just do this in step 1:
    139      1.1  mrg 
    140      1.1  mrg   ./configure --with-gmp-build=GMPBUILD
    141      1.1  mrg 
    142      1.1  mrg where GMPBUILD is the GMP build directory. The needed header files are:
    143  1.1.1.2  mrg gmp-impl.h, longlong.h and all the necessary headers to use them, which
    144  1.1.1.2  mrg may be located either in the GMP source directory or in the GMP build
    145  1.1.1.2  mrg directory, in case they are different (MPFR takes care of that, as of
    146  1.1.1.2  mrg MPFR 3.1.0).
    147      1.1  mrg 
    148      1.1  mrg Warning: the library obtained in this way may use some internal GMP
    149      1.1  mrg symbols, and thus dynamically linking your software with a different
    150      1.1  mrg version of GMP might fail, even though it is declared as compatible
    151      1.1  mrg by Libtool's versioning system.
    152      1.1  mrg 
    153      1.1  mrg 
    154      1.1  mrg Tuning MPFR
    155      1.1  mrg ===========
    156      1.1  mrg 
    157      1.1  mrg For this, you need to build MPFR with a GMP build directory (see above).
    158      1.1  mrg In the GMP build directory, you also need to go into the "tune" subdirectory
    159      1.1  mrg and type "make speed". This will build the GMP speed library, which is used
    160      1.1  mrg by the MPFR tuning mechanism.
    161      1.1  mrg 
    162  1.1.1.2  mrg Then go back to the MPFR build directory, go into the "tune" subdirectory and
    163  1.1.1.2  mrg type "make tune". This will build an optimized file "mparam.h" for your
    164  1.1.1.2  mrg specific architecture.
    165      1.1  mrg 
    166      1.1  mrg 
    167      1.1  mrg ./configure options
    168      1.1  mrg ===================
    169      1.1  mrg 
    170      1.1  mrg --prefix=DIR            installs MPFR headers and library in DIR/include and
    171      1.1  mrg                         DIR/lib respectively (the default is "/usr/local").
    172      1.1  mrg 
    173      1.1  mrg --with-gmp-include=DIR  assumes that DIR contains gmp.h
    174      1.1  mrg --with-gmp-lib=DIR      assumes that DIR contains the GMP library
    175      1.1  mrg --with-gmp=DIR          assumes that DIR is where you have installed GMP.
    176      1.1  mrg                         same as --with-gmp-lib=DIR/lib
    177      1.1  mrg                         and     --with-gmp-include=DIR/include
    178      1.1  mrg                         (use either --with-gmp alone or one or both of
    179      1.1  mrg                         --with-gmp-lib/--with-gmp-include)
    180      1.1  mrg                         Warning! Do not use these options if you have
    181      1.1  mrg                         CPPFLAGS and/or LDFLAGS containing a -I or -L
    182      1.1  mrg                         option with a directory that contains a GMP
    183      1.1  mrg                         header or library file, as these options just
    184      1.1  mrg                         add -I and -L options to CPPFLAGS and LDFLAGS
    185      1.1  mrg                         *after* the ones that are currently declared,
    186      1.1  mrg                         so that DIR will have a lower precedence. Also,
    187  1.1.1.2  mrg                         this may not work if DIR is a system directory
    188  1.1.1.2  mrg                         (typically /usr or /usr/local); see below.
    189      1.1  mrg 
    190      1.1  mrg --with-gmp-build=DIR    assumes that DIR contains the GMP build directory,
    191      1.1  mrg                         and enables the use of GMP internals (see above).
    192      1.1  mrg                         Warning! This option and the group of options
    193      1.1  mrg                         --with-gmp are mutually exclusive.
    194      1.1  mrg 
    195      1.1  mrg --enable-assert         build MPFR with assertions.
    196      1.1  mrg 
    197      1.1  mrg --enable-thread-safe    build MPFR as thread safe, using compiler-level
    198      1.1  mrg                         Thread Local Storage (TLS). Note: TLS support is
    199      1.1  mrg                         roughly tested by configure. If configure detects
    200      1.1  mrg                         that TLS does not work (because of the compiler,
    201      1.1  mrg                         linker or system libraries), it will output an
    202      1.1  mrg                         error message, telling you to build MPFR without
    203      1.1  mrg                         thread safe. For instance, though Mac OS X uses
    204      1.1  mrg                         GCC, it may not currently support GCC's __thread
    205      1.1  mrg                         storage class.
    206      1.1  mrg 
    207  1.1.1.2  mrg --disable-thread-safe   build MPFR without TLS. By default, TLS support
    208  1.1.1.2  mrg                         is detected automatically, and MPFR is built as
    209  1.1.1.2  mrg                         thread safe if supported. However this detection
    210  1.1.1.2  mrg                         is only a heuristic: TLS can be detected as
    211  1.1.1.2  mrg                         supported while its support is incomplete or
    212  1.1.1.2  mrg                         buggy (MPFR tests may fail). In such a case,
    213  1.1.1.2  mrg                         this option is useful.
    214  1.1.1.2  mrg 
    215  1.1.1.2  mrg --enable-gmp-internals  allows the MPFR build to use GMP's undocumented
    216  1.1.1.2  mrg                         functions (not from the public API). Note that
    217  1.1.1.2  mrg                         library versioning is not guaranteed to work if
    218  1.1.1.2  mrg                         this option is used. Thus it must not be used in
    219  1.1.1.2  mrg                         binary distributions.
    220  1.1.1.2  mrg 
    221      1.1  mrg Note: By default, the configure script tries to set CC/CFLAGS to GMP's
    222      1.1  mrg ones (this feature needs GMP 4.3.0 or later, or the --with-gmp-build
    223      1.1  mrg option). However this is not guaranteed to work as the configure script
    224      1.1  mrg does some compiler tests earlier, and the change may be too late. Also,
    225      1.1  mrg the values obtained from GMP may be incorrect if GMP has been built
    226      1.1  mrg on a different machine. In such a case, the user may need to specify
    227      1.1  mrg CC/CFLAGS as explained below.
    228      1.1  mrg 
    229      1.1  mrg Run "./configure --help" to see the other options (autoconf default options).
    230      1.1  mrg 
    231      1.1  mrg 
    232  1.1.1.2  mrg If 'gmp.h' and 'libgmp' do not match
    233  1.1.1.2  mrg ====================================
    234  1.1.1.2  mrg 
    235  1.1.1.2  mrg Under some circumstances, the configure script may output a message
    236  1.1.1.2  mrg saying:
    237  1.1.1.2  mrg 
    238  1.1.1.2  mrg   'gmp.h' and 'libgmp' seem to have different versions or
    239  1.1.1.2  mrg   we cannot run a program linked with GMP (if you cannot
    240  1.1.1.2  mrg   see the version numbers above). [...]
    241  1.1.1.2  mrg 
    242  1.1.1.2  mrg Even though the configure script does not fail in such a case, this
    243  1.1.1.2  mrg message most often indicates a real error, which needs to be avoided.
    244  1.1.1.2  mrg Possible causes are:
    245  1.1.1.2  mrg 
    246  1.1.1.2  mrg * The wanted GMP library does not have the same ABI as the one chosen
    247  1.1.1.2  mrg   to build MPFR. The consequences may be:
    248  1.1.1.2  mrg 
    249  1.1.1.2  mrg     - A different GMP library (with the correct ABI) has been found,
    250  1.1.1.2  mrg       but does not have the same version as 'gmp.h'.
    251  1.1.1.2  mrg 
    252  1.1.1.2  mrg     - No other GMP libraries have been found (in this case, no version
    253  1.1.1.2  mrg       numbers should be printed above the warning message).
    254  1.1.1.2  mrg 
    255  1.1.1.2  mrg   This is incorrect and one of the following steps (make, make check)
    256  1.1.1.2  mrg   will probably fail. GMP (actually gmp.h) now provides CC and CFLAGS
    257  1.1.1.2  mrg   information to select the correct ABI, so that this problem should
    258  1.1.1.2  mrg   no longer occur; but if GMP was provided by a binary package, such
    259  1.1.1.2  mrg   information may not be valid. See the
    260  1.1.1.2  mrg 
    261  1.1.1.2  mrg     checking for CC and CFLAGS in gmp.h...
    262  1.1.1.2  mrg 
    263  1.1.1.2  mrg   line in the configure output (about the 11th line) and the following
    264  1.1.1.2  mrg   few ones for more information. You may need to reinstall GMP or to
    265  1.1.1.2  mrg   provide your own CC and/or CFLAGS. See also the remaining of this
    266  1.1.1.2  mrg   INSTALL file.
    267  1.1.1.2  mrg 
    268  1.1.1.2  mrg * A configure option like --with-gmp or --with-gmp-include was used
    269  1.1.1.2  mrg   with a system include directory, e.g. one of the following:
    270  1.1.1.2  mrg 
    271  1.1.1.2  mrg     --with-gmp=/usr
    272  1.1.1.2  mrg     --with-gmp=/usr/local
    273  1.1.1.2  mrg     --with-gmp-include=/usr/include
    274  1.1.1.2  mrg     --with-gmp-include=/usr/local/include
    275  1.1.1.2  mrg 
    276  1.1.1.2  mrg   GCC (and possibly other compilers) will ignore such a directive for
    277  1.1.1.2  mrg   include directories (but this rule is not applied for the library
    278  1.1.1.2  mrg   itself!). This means that the library search paths will be reordered
    279  1.1.1.2  mrg   as declared, but the specified include directory will still be near
    280  1.1.1.2  mrg   the end of the include search paths (thus with a low precedence).
    281  1.1.1.2  mrg   This is not a problem if only one GMP version is installed, but
    282  1.1.1.2  mrg   otherwise, a wrong gmp.h may be chosen, so that the versions of
    283  1.1.1.2  mrg   gmp.h and libgmp may not match. The suggestions are the following:
    284  1.1.1.2  mrg 
    285  1.1.1.2  mrg     - If you want to use the GMP version under /usr, then you should
    286  1.1.1.2  mrg       uninstall all the other GMP versions (header and library files)
    287  1.1.1.2  mrg       that may be seen in the search paths, in particular those under
    288  1.1.1.2  mrg       /usr/local.
    289  1.1.1.2  mrg 
    290  1.1.1.2  mrg     - If you want to use the GMP version under /usr/local, then you
    291  1.1.1.2  mrg       should uninstall all the other GMP versions (header and library
    292  1.1.1.2  mrg       files) that may be seen in the search paths, but *NOT* the one
    293  1.1.1.2  mrg       under /usr (the version under /usr is provided by the OS vendor,
    294  1.1.1.2  mrg       and changing/removing anything related to it may break your
    295  1.1.1.2  mrg       system, and /usr should have a lower precedence than /usr/local
    296  1.1.1.2  mrg       anyway).
    297  1.1.1.2  mrg 
    298  1.1.1.2  mrg   To find where GMP versions have been installed:
    299  1.1.1.2  mrg 
    300  1.1.1.2  mrg     $ locate libgmp  (if you have a locate database)
    301  1.1.1.2  mrg 
    302  1.1.1.2  mrg   and if the compiler is GCC:
    303  1.1.1.2  mrg 
    304  1.1.1.2  mrg     $ gcc -print-file-name=libgmp.so     (under most systems)
    305  1.1.1.2  mrg     $ gcc -print-file-name=libgmp.dylib  (under Mac OS X)
    306  1.1.1.2  mrg 
    307  1.1.1.2  mrg   and if this does not work, you may try:
    308  1.1.1.2  mrg 
    309  1.1.1.2  mrg     $ gcc -print-search-dirs
    310  1.1.1.2  mrg 
    311  1.1.1.2  mrg * An official GCC version was used under Debian GNU/Linux. Problems
    312  1.1.1.2  mrg   may come from the fact that Debian chose a different convention
    313  1.1.1.2  mrg   for library search paths concerning 32-bit and 64-bit libraries.
    314  1.1.1.2  mrg   A possible problem can be, for instance:
    315  1.1.1.2  mrg 
    316  1.1.1.2  mrg   [Debian's GCC, correct library path]
    317  1.1.1.2  mrg   $ gcc -print-file-name=libgmp.so
    318  1.1.1.2  mrg   /home/vlefevre/gmp/athlon64/lib/../lib/libgmp.so
    319  1.1.1.2  mrg 
    320  1.1.1.2  mrg   [Official GCC, incorrect library path]
    321  1.1.1.2  mrg   $ gcc-4.3.1 -print-file-name=libgmp.so
    322  1.1.1.2  mrg   /usr/lib/../lib64/libgmp.so
    323  1.1.1.2  mrg 
    324  1.1.1.2  mrg   The solution: use a GCC provided by Debian or add symbolic links
    325  1.1.1.2  mrg   such as lib64 -> lib (on 64-bit machines) for your library paths.
    326  1.1.1.2  mrg 
    327  1.1.1.2  mrg * The problem may also be temporary and only due to the fact that
    328  1.1.1.2  mrg   libtool could not be used at this time. This is unlikely, though.
    329  1.1.1.2  mrg 
    330  1.1.1.2  mrg 
    331      1.1  mrg In case of problem
    332      1.1  mrg ==================
    333      1.1  mrg 
    334      1.1  mrg First, look for any warning message in the configure output.
    335      1.1  mrg 
    336      1.1  mrg Several documents may help you to solve the problem:
    337      1.1  mrg   * this INSTALL file, in particular information given below;
    338      1.1  mrg   * the FAQ (either the FAQ.html file distributed with MPFR, or the
    339      1.1  mrg     on-line version <http://www.mpfr.org/faq.html>, which may be more
    340      1.1  mrg     up-to-date);
    341  1.1.1.3  mrg   * the MPFR web page for this version <http://www.mpfr.org/mpfr-3.1.5/>,
    342      1.1  mrg     which lists bugs found in this version and provides some patches.
    343      1.1  mrg 
    344      1.1  mrg If the "configure" fails, please check that the C compiler and its
    345      1.1  mrg options are the same as those for the GMP build (specially the ABI).
    346      1.1  mrg You can see the latter with the following command:
    347      1.1  mrg 
    348      1.1  mrg   grep "^CC\|^CFLAGS" GMPBUILD/Makefile
    349      1.1  mrg 
    350      1.1  mrg if the GMP build directory is available. Then type:
    351      1.1  mrg 
    352      1.1  mrg   ./configure <configure options> CC=<C compiler> CFLAGS="<compiler options>"
    353      1.1  mrg 
    354      1.1  mrg (quotes are needed when there are spaces or other special characters
    355      1.1  mrg in the CC/CFLAGS value) and continue the install. On some platforms,
    356      1.1  mrg you should provide further options to match those used by GMP, or set
    357      1.1  mrg some environment variables. For instance, see the "Notes on AIX/PowerPC"
    358      1.1  mrg section below.
    359      1.1  mrg 
    360      1.1  mrg Warning! Do NOT use optimization options that can change the semantics
    361      1.1  mrg of math operations, such as GCC's -ffast-math or Sun CC's -fast.
    362      1.1  mrg Otherwise conversions from/to double's may be incorrect on infinities,
    363      1.1  mrg NaN's and signed zeros. Since native FP arithmetic is used in a few
    364      1.1  mrg places only, such options would not make MPFR faster anyway.
    365      1.1  mrg 
    366  1.1.1.2  mrg If some "make check" tests fail, you can try the --disable-thread-safe
    367  1.1.1.2  mrg configure option (see the configure options above): it has been reported
    368  1.1.1.2  mrg that some platforms have buggy TLS support. Before trying this option,
    369  1.1.1.2  mrg you may want to check in the configure output whether MPFR was built
    370  1.1.1.2  mrg with TLS support; if yes, you will have a line:
    371  1.1.1.2  mrg   checking for TLS support... yes
    372  1.1.1.2  mrg Alternatively "grep MPFR_USE_THREAD_SAFE config.log" will show that
    373  1.1.1.2  mrg MPFR_USE_THREAD_SAFE is defined to 1. If it is "no" (or the variable
    374  1.1.1.2  mrg is not defined), the --disable-thread-safe option would be useless.
    375  1.1.1.2  mrg 
    376  1.1.1.2  mrg Some tests failure may be due to other compiler bugs, in particular
    377  1.1.1.2  mrg in optimization code. You can try to build MPFR without compiler
    378  1.1.1.2  mrg optimizations by giving -O0 (letter O, digit 0) in CFLAGS. If the
    379  1.1.1.2  mrg MPFR tests no longer fail, this was probably due to a compiler bug,
    380  1.1.1.2  mrg though we cannot exclude a bug in MPFR. You may want to contact us
    381  1.1.1.2  mrg (see below), possibly after looking at:
    382  1.1.1.2  mrg   http://www.loria.fr/~zimmerma/software/compilerbugs.html
    383  1.1.1.2  mrg 
    384      1.1  mrg On some platforms, try with "gmake" (GNU make) instead of "make".
    385      1.1  mrg Problems have been reported with the Tru64 make.
    386      1.1  mrg 
    387      1.1  mrg If the configure script reports that gmp.h version and libgmp version
    388      1.1  mrg are different, or if the build was OK, but the tests failed to link
    389      1.1  mrg with GMP or gave an error like
    390      1.1  mrg 
    391      1.1  mrg   undefined reference to `__gmp_get_memory_functions'
    392      1.1  mrg 
    393      1.1  mrg meaning that the GMP library was not found or a wrong GMP library was
    394      1.1  mrg selected by the linker, then your library search paths are probably
    395      1.1  mrg not correctly set (some paths are missing or they are specified in an
    396      1.1  mrg incorrect order).
    397      1.1  mrg 
    398      1.1  mrg Such problems commonly occur under some GNU/Linux machines, where the
    399      1.1  mrg default header and library search paths may be inconsistent: GCC is
    400      1.1  mrg configured to search /usr/local/include and /usr/local/lib by default,
    401      1.1  mrg while the dynamic linker ignores /usr/local/lib. If you have a GMP
    402      1.1  mrg version installed in /usr (provided by the OS vendor) and a new one
    403      1.1  mrg installed in /usr/local, then the header of the new GMP version and
    404      1.1  mrg the library of the old GMP version will be used! The best solution
    405      1.1  mrg is to make sure that the dynamic linker configuration is consistent
    406      1.1  mrg with GCC's behavior, for instance by having /usr/local/lib in
    407      1.1  mrg /etc/ld.so.conf or in some file from /etc/ld.so.conf.d (as Debian
    408  1.1.1.3  mrg did: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=395177). See
    409  1.1.1.3  mrg also https://gcc.gnu.org/ml/gcc-help/2010-01/msg00171.html for more
    410      1.1  mrg information. Alternatively you can use:
    411      1.1  mrg   * environment variables. This may sometimes be necessary. If DIR
    412      1.1  mrg     is the installation directory of GMP, add DIR/include to your
    413      1.1  mrg     CPATH or C_INCLUDE_PATH (for compilers other than GCC, please
    414      1.1  mrg     check the manual of your compiler), and add DIR/lib to your
    415      1.1  mrg     LIBRARY_PATH and LD_LIBRARY_PATH (and/or LD_RUN_PATH);
    416      1.1  mrg   * --with-gmp* configure options (described above), e.g.
    417      1.1  mrg     --with-gmp=/opt/local (to use /opt/local/include for headers and
    418      1.1  mrg     /opt/local/lib for libraries), but other software that uses GMP
    419      1.1  mrg     and/or MPFR will need correct paths too, and environment variables
    420      1.1  mrg     allow one to set such search paths in a global way.
    421      1.1  mrg     Note about "--with-gmp=/usr/local". This option may appear to
    422      1.1  mrg     solve the above inconsistency problem, but does not work as you
    423      1.1  mrg     expect. Indeed it affects the library search path, in particular,
    424      1.1  mrg     the one used by the dynamic linker (thus adding the missing
    425      1.1  mrg     /usr/local/lib directory as wanted), but since /usr/local/include
    426      1.1  mrg     is a "standard system include directory" for GCC, the include
    427      1.1  mrg     search patch is not changed; this is often not a problem in this
    428      1.1  mrg     particular case because usually, /usr/local/include is already
    429      1.1  mrg     last in the include search patch, but this may fail under some
    430      1.1  mrg     occasions and may trigger obscure errors.
    431      1.1  mrg 
    432      1.1  mrg For instance, under Unix, where paths are separated by a colon:
    433      1.1  mrg 
    434      1.1  mrg   * With POSIX sh-compatible shells (e.g. sh, ksh, bash, zsh):
    435      1.1  mrg     export C_INCLUDE_PATH="/usr/local/include:/other/path/include"
    436      1.1  mrg     export LIBRARY_PATH="/usr/local/lib:/other/path/lib"
    437      1.1  mrg     export LD_LIBRARY_PATH="$LIBRARY_PATH"
    438      1.1  mrg 
    439      1.1  mrg   * With csh or tcsh:
    440      1.1  mrg     setenv C_INCLUDE_PATH "/usr/local/include:/other/path/include"
    441      1.1  mrg     setenv LIBRARY_PATH "/usr/local/lib:/other/path/lib"
    442      1.1  mrg     setenv LD_LIBRARY_PATH "$LIBRARY_PATH"
    443      1.1  mrg 
    444  1.1.1.2  mrg If you can't solve your problem, you should contact us via the MPFR
    445  1.1.1.2  mrg mailing-list <mpfr (a] inria.fr>, indicating the machine and operating system
    446  1.1.1.2  mrg used (uname -a), the compiler and version used (gcc -v if you use gcc),
    447  1.1.1.2  mrg the configure options used if any (including variables such as CC and
    448  1.1.1.2  mrg CFLAGS), the version of GMP and MPFR used, and a description of the
    449  1.1.1.3  mrg problem encountered, in particular the tests/test-suite.log file if
    450  1.1.1.3  mrg "make check" failed. Please send us also the log of the "configure"
    451  1.1.1.2  mrg (config.log).
    452      1.1  mrg 
    453      1.1  mrg Note that even if you can build MPFR with a C++ compiler, you can't run
    454      1.1  mrg the test suite: C and C++ are not the same language! You should use a C
    455      1.1  mrg compiler instead.
    456      1.1  mrg 
    457      1.1  mrg 
    458  1.1.1.2  mrg Notes about ABI
    459  1.1.1.2  mrg ===============
    460  1.1.1.2  mrg 
    461  1.1.1.2  mrg On 64-bit computers, it may happen that the default ABI (Application Binary
    462  1.1.1.2  mrg Interface) chosen by MPFR does not correspond to the default one chosen by
    463  1.1.1.2  mrg the compiler.
    464  1.1.1.2  mrg 
    465  1.1.1.2  mrg In particular, this kind of message may indicate the problem:
    466  1.1.1.2  mrg /usr/bin/ld: skipping incompatible mpfr/src/.libs/libmpfr.a when searching for -lmpfr
    467  1.1.1.2  mrg 
    468  1.1.1.2  mrg In fact, since MPFR relies on GMP, it uses the same ABI as GMP.
    469  1.1.1.2  mrg To be sure that your program compiles and links correctly, use the same
    470  1.1.1.2  mrg compiler flags as MPFR does (look for CFLAGS in config.log).
    471  1.1.1.2  mrg 
    472  1.1.1.2  mrg You might also recompile GMP with a different ABI, with for example
    473  1.1.1.2  mrg ./configure ABI=32.
    474  1.1.1.2  mrg 
    475  1.1.1.2  mrg 
    476      1.1  mrg Notes on Mac OS X
    477      1.1  mrg =================
    478      1.1  mrg 
    479      1.1  mrg If you get an error of the form
    480      1.1  mrg 
    481      1.1  mrg   ld: pointer in read-only segment not allowed in slidable image...
    482      1.1  mrg 
    483      1.1  mrg this can mean that the link is done against a static (GMP) library.
    484      1.1  mrg In such a case, you should configure MPFR with --disable-shared to
    485      1.1  mrg disable the build of the shared library.
    486      1.1  mrg 
    487      1.1  mrg 
    488      1.1  mrg Notes on FreeBSD 4.3
    489      1.1  mrg ====================
    490      1.1  mrg 
    491      1.1  mrg FreeBSD 4.3 is provided with an incorrect <float.h> header file, and
    492      1.1  mrg MPFR tests related to long double's may fail. If you cannot upgrade
    493      1.1  mrg the system, you can still use MPFR with FreeBSD 4.3, but you should
    494      1.1  mrg not use conversions with the long double type.
    495      1.1  mrg 
    496      1.1  mrg 
    497      1.1  mrg Notes on AIX/PowerPC
    498      1.1  mrg ====================
    499      1.1  mrg 
    500  1.1.1.3  mrg The following has been tested on AIX 7.1.3 (gcc111.fsffrance.org)
    501  1.1.1.3  mrg with gcc 4.8.1 and GMP 6.1.0.
    502      1.1  mrg 
    503      1.1  mrg If GMP was built with the 64-bit ABI, before building and testing MPFR,
    504      1.1  mrg you should set the OBJECT_MODE environment variable to 64, e.g., with:
    505      1.1  mrg 
    506      1.1  mrg   export OBJECT_MODE=64
    507      1.1  mrg 
    508  1.1.1.3  mrg (in a sh-compatible shell). Alternatively add the following to the configure
    509  1.1.1.3  mrg line: AR="ar -X64" NM="nm -B -X64".
    510      1.1  mrg 
    511      1.1  mrg 
    512  1.1.1.3  mrg MPFR for use with Windows Applications
    513  1.1.1.3  mrg ======================================
    514  1.1.1.2  mrg 
    515  1.1.1.2  mrg There are several ways of building MPFR on Windows, the most appropriate
    516  1.1.1.2  mrg approach depending on how you intend to use the resulting libraries.
    517  1.1.1.2  mrg 
    518  1.1.1.2  mrg a. Using MinGW
    519  1.1.1.2  mrg ==============
    520      1.1  mrg 
    521  1.1.1.3  mrg 1 - We advise to use MinGW (http://www.mingw.org/ for 32-bit, and
    522  1.1.1.3  mrg     https://sourceforge.net/projects/mingw-w64/ for 32- and 64-bit),
    523  1.1.1.3  mrg     which is simpler and less demanding than Cygwin. Contrary to Cygwin,
    524  1.1.1.3  mrg     it also provides native Windows code.
    525      1.1  mrg 
    526      1.1  mrg 2 - If you just want to make a binary with gcc, there is nothing to do:
    527      1.1  mrg     GMP, MPFR and the program compile exactly as under Linux.
    528      1.1  mrg 
    529  1.1.1.3  mrg 3 - To avoid using the Microsoft runtime (which might not be conform to ISO C),
    530      1.1  mrg     you can use the MinGW runtime package (which is an integral part of MinGW).
    531      1.1  mrg     For example, with MinGW versions 3.15 and later you can get an
    532      1.1  mrg     ISO-compliant printf() if you compile your application with either
    533  1.1.1.3  mrg     '-ansi', '-posix' or '-D__USE_MINGW_ANSI_STDIO'. In order to have the
    534  1.1.1.3  mrg     MPFR formatted output functions based on ISO-compliant printf(), you
    535  1.1.1.3  mrg     need to compile GMP (not MPFR) with CC="gcc -D__USE_MINGW_ANSI_STDIO"
    536  1.1.1.3  mrg     (since the standard printf modifiers %Ld and %td are passed to GMP).
    537  1.1.1.3  mrg     Building MPFR with -D__USE_MINGW_ANSI_STDIO is useless except for some
    538  1.1.1.3  mrg     error messages in the test suite.
    539  1.1.1.2  mrg 
    540  1.1.1.2  mrg b. Using Cygwin
    541  1.1.1.2  mrg ===============
    542  1.1.1.2  mrg 
    543  1.1.1.2  mrg This build should be similar to that for MinGW except that the resulting
    544  1.1.1.2  mrg library depends on the Cygwin DLL and cannot therefore be used with
    545  1.1.1.2  mrg Visual Studio as with MinGW. Indeed, the binaries compiled with Cygwin
    546  1.1.1.2  mrg require a dynamic library (cygwin.dll) to work; there is a Cygwin option
    547  1.1.1.2  mrg -mno-cygwin to build native code, but it may require some non-portable tricks.
    548  1.1.1.2  mrg 
    549  1.1.1.2  mrg In case of failure, you may need to pass LDFLAGS='-shared-libgcc' at the
    550  1.1.1.2  mrg end of the configure line due to a bug in GCC. Otherwise, if threading
    551  1.1.1.2  mrg support is not needed, you can configure MPFR with --disable-thread-safe.
    552  1.1.1.2  mrg 
    553  1.1.1.3  mrg c. Using Microsoft Visual C++ and Intel C++ Compilers
    554  1.1.1.3  mrg =====================================================
    555  1.1.1.2  mrg 
    556  1.1.1.3  mrg Static and dynamic MPFR libraries for the 32- and 64-bit versions of
    557  1.1.1.3  mrg Windows can be built with Microsoft Visual Studio 2015 using the
    558  1.1.1.3  mrg Microsoft Visual C++ compiler, see:
    559  1.1.1.2  mrg 
    560  1.1.1.3  mrg   https://www.visualstudio.com/
    561  1.1.1.2  mrg 
    562  1.1.1.3  mrg The Intel C++ compiler provided as a part of Intel Parallel Studio XE
    563  1.1.1.3  mrg can also be used:
    564      1.1  mrg 
    565  1.1.1.3  mrg   https://software.intel.com/en-us/intel-parallel-studio-xe
    566      1.1  mrg 
    567  1.1.1.3  mrg The relevant build projects are available here:
    568      1.1  mrg 
    569  1.1.1.3  mrg   https://github.com/BrianGladman
    570