diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-01-06 15:17:12 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-01-06 15:17:12 +0000 |
| commit | 6717c9ff10875134686c81b1f7234bc0870aed93 (patch) | |
| tree | a7c5915385658f044f2814b7b45021e34a800f7b /tools | |
| parent | a50277d0e023124255dbe396e69e14c88e8d0fb6 (diff) | |
| download | mpfr-6717c9ff10875134686c81b1f7234bc0870aed93.tar.gz | |
[tools/mbench/README] Say how to disable a non-working library.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11154 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/mbench/README | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/mbench/README b/tools/mbench/README index 780ce4659..92cb4d5ac 100644 --- a/tools/mbench/README +++ b/tools/mbench/README @@ -16,7 +16,9 @@ To use the mbench program: ./mfv5 -h To build MFV5 with PARI/NTL/CLN/MAPM/ARPREC/CRLIBM support, build it with: make GMP=/dir/to/gmp MPFR=/dir/to/mpfr PARI=/dir/to/pari ... - (It autodetects which library is available.) + (It autodetects which library is available. Thus a non-existent directory + can be given to disable a library installed on the system if it yields a + build failure.) Then use ./mfv5 -l to have the lists of the available functions. To add a new function in MPFR (mpfr_toto), edit mfv5-mpfr.cc and add: |