summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-01-02 01:32:58 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2016-01-02 01:32:58 +0000
commit0391c5a71fa548558a8f77c30d8323569daf11d2 (patch)
tree70b21f799355a1e41cbb33cc1c4b0db07b30b6a3 /INSTALL
parent37d6dc5edbc61bb28b63ef81b1702fae4eb832cf (diff)
downloadmpfr-0391c5a71fa548558a8f77c30d8323569daf11d2.tar.gz
[INSTALL] Added a note about tuning MPFR:
For the current GMP version (6.1.0), a Unix-like OS is required. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9783 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL2
1 files changed, 2 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 458c05343..a0edb9e1a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -154,6 +154,8 @@ by Libtool's versioning system.
Tuning MPFR
===========
+[For the current GMP version (6.1.0), a Unix-like OS is required.]
+
For this, you need to build MPFR with a GMP build directory (see above).
In the GMP build directory, you also need to go into the "tune" subdirectory
and type "make speed". This will build the GMP speed library, which is used