summaryrefslogtreecommitdiff
path: root/src/mpfr-mini-gmp.h
diff options
context:
space:
mode:
authorzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2015-11-03 10:52:52 +0000
committerzimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4>2015-11-03 10:52:52 +0000
commit26e5c158dbd405ca41e8a6436acbf4962e83dcb5 (patch)
tree48e4890f456c42f932a82ba04125e1710fbb41cb /src/mpfr-mini-gmp.h
parentc2880ee626f0d87a9a2bb6d6169aaaa46e8e4fd7 (diff)
downloadmpfr-26e5c158dbd405ca41e8a6436acbf4962e83dcb5.tar.gz
simplify the configuration with mini-gmp
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9718 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/mpfr-mini-gmp.h')
-rw-r--r--src/mpfr-mini-gmp.h5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/mpfr-mini-gmp.h b/src/mpfr-mini-gmp.h
index de58da5db..7b1b1b994 100644
--- a/src/mpfr-mini-gmp.h
+++ b/src/mpfr-mini-gmp.h
@@ -39,6 +39,11 @@ extern char gmp_version[];
#define __gmp_free_func gmp_default_free
#endif
+#ifndef gmp_randstate_t
+typedef long int __gmp_randstate_struct;
+typedef __gmp_randstate_struct gmp_randstate_t[1];
+#endif
+
#ifndef gmp_randinit_default
#define WANT_gmp_randinit_default
void gmp_randinit_default (gmp_randstate_t);