diff options
| author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-06-10 14:27:40 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2020-06-10 14:27:40 +0000 |
| commit | 0da52cc3dadc23b3b39ed7e61e0673dc8bc8922e (patch) | |
| tree | 4cd1f686c7d3ccd1bb40f936b01cc375d62604ad /doc | |
| parent | 150521f451e98d396ada26757bedb0083b1f8856 (diff) | |
| download | mpfr-0da52cc3dadc23b3b39ed7e61e0673dc8bc8922e.tar.gz | |
[doc/mini-gmp] review
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13966 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/mini-gmp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/doc/mini-gmp b/doc/mini-gmp index da3f80b2b..4a3daaa87 100644 --- a/doc/mini-gmp +++ b/doc/mini-gmp @@ -7,6 +7,9 @@ To build and test MPFR against mini-gmp: make make check +where DIR is the directory which contains mini-gmp +(for example .../gmp-6.2.0/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 @@ -29,7 +32,7 @@ provide them), thus one should avoid mini-gmp if one needs some really serious random functions. Another consequence is that these functions are not thread-safe. -This was tested with MPFR svn r13226 and GMP 6.1.2 on x86_64 GNU/Linux: +This was tested with MPFR svn r13965 and GMP 6.2.0 on x86_64 GNU/Linux: ============================================================================ Testsuite summary for MPFR 4.1.0-dev ============================================================================ @@ -49,8 +52,13 @@ Following the idea of Micro-GMP [1], the GMP developers have adapted mini-gmp so that it can be used with a reduced limb size. For that, you need GMP 6.2.0 (or later) and define the MINI_GMP_LIMB_TYPE macro with the associated base type, e.g. + -DMINI_GMP_LIMB_TYPE=char (in practice, 8 bits) -DMINI_GMP_LIMB_TYPE=short (in practice, 16 bits) -DMINI_GMP_LIMB_TYPE=int (in practice, 32 bits) +For example: + + ./configure --with-mini-gmp=DIR CFLAGS="-DMINI_GMP_LIMB_TYPE=int" + [1] https://members.loria.fr/PZimmermann/talks/microgmp.pdf |