summaryrefslogtreecommitdiff
path: root/doc/mini-gmp
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-20 11:12:22 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-20 11:12:22 +0000
commit56c76f9384df561392b147920b7afe7bac774c17 (patch)
tree04973eb0a07929d5d46df91bbd433c44d072e5a3 /doc/mini-gmp
parent12f7d9a0a56eec83e1545e13fedd5217edf4ffac (diff)
downloadmpfr-56c76f9384df561392b147920b7afe7bac774c17.tar.gz
[doc/mini-gmp] Update.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13230 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/mini-gmp')
-rw-r--r--doc/mini-gmp7
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/mini-gmp b/doc/mini-gmp
index 2ef393f5e..147f9cb15 100644
--- a/doc/mini-gmp
+++ b/doc/mini-gmp
@@ -9,11 +9,14 @@ To build and test MPFR against mini-gmp:
"make" will build mini-gmp with the same compiler as for MPFR.
+For "make check", tests that use features not supported by mini-gmp
+(mpq_t, mpf_t, and the gmp_*printf functions) are skipped.
+
Note: To use this version of the MPFR library, you need to define
the MPFR_USE_MINI_GMP macro before including mpfr.h (alternatively,
you can modify mpfr.h to define this macro at the beginning). But
-this will currently not be usable as is if mini-gmp.h does not
-declare gmp_randstate_t.
+this will currently not be usable since mini-gmp.h does not declare
+gmp_randstate_t (you need to modify either mini-gmp.h or mpfr.h).
This was tested with MPFR svn r13226 and GMP 6.1.2 on x86_64 GNU/Linux:
============================================================================