diff options
-rw-r--r-- | Makefile.am | 2 | ||||
-rw-r--r-- | mini-gmp/mini-gmp.h | 6 |
2 files changed, 6 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 5e5dc898b..f69f05218 100644 --- a/Makefile.am +++ b/Makefile.am @@ -442,7 +442,7 @@ check-mini-gmp: MINI_GMP_DIR="$$abs_srcdir/mini-gmp" \ LDFLAGS="-L../../.libs" \ LIBS="-lgmp -lm" \ - CC="$(CC)" CFLAGS="$(CFLAGS)" CPPFLAGS="-I../.." check + CC="$(CC)" CFLAGS="$(CFLAGS)" CPPFLAGS="$(CPPFLAGS) -I../.." check clean-mini-gmp: if [ -d mini-gmp/tests ] ; then \ diff --git a/mini-gmp/mini-gmp.h b/mini-gmp/mini-gmp.h index 27e0c0671..b98af058b 100644 --- a/mini-gmp/mini-gmp.h +++ b/mini-gmp/mini-gmp.h @@ -53,7 +53,11 @@ void mp_get_memory_functions (void *(**) (size_t), void *(**) (void *, size_t, size_t), void (**) (void *, size_t)); -typedef unsigned long mp_limb_t; +#ifndef MINI_GMP_LIMB_TYPE +#define MINI_GMP_LIMB_TYPE unsigned long +#endif + +typedef MINI_GMP_LIMB_TYPE mp_limb_t; typedef long mp_size_t; typedef unsigned long mp_bitcnt_t; |