summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2018-12-14 15:23:15 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2018-12-14 15:23:15 +0000
commit3133b932cdd8a2677184fce8e6e2aa5af7d9c338 (patch)
tree45efb7faf5d348ace5d0857945e4fb6a04a85fad
parentaed1800d5d1e16e129552d007b603dc67b25ee56 (diff)
downloadmpfr-3133b932cdd8a2677184fce8e6e2aa5af7d9c338.tar.gz
[doc/mini-gmp] added note about using mini-gmp (development version) with
reduced limb size git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13348 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--doc/mini-gmp20
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/mini-gmp b/doc/mini-gmp
index bf2f4068f..5e9a4ffba 100644
--- a/doc/mini-gmp
+++ b/doc/mini-gmp
@@ -34,3 +34,23 @@ Testsuite summary for MPFR 4.1.0-dev
# XPASS: 0
# ERROR: 0
============================================================================
+
+How to use mini-gmp with reduced limb size
+==========================================
+
+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 have to take a GMP snapshot from December 09, 2018, or later
+(see https://gmplib.org/download/snapshot/).
+
+Then edit the first line of mini-gmp.h to have for example:
+
+ #include <stdint.h>
+ typedef uint8_t mp_limb_t;
+ #define GMP_LIMB_BITS 8
+ #define __GMP_SHORT_LIMB
+
+Then you can configure MPFR with that version of mini-gmp, as indicated above.
+
+[1] https://members.loria.fr/PZimmermann/talks/microgmp.pdf