diff options
Diffstat (limited to 'src/mpfr-impl.h')
| -rw-r--r-- | src/mpfr-impl.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/mpfr-impl.h b/src/mpfr-impl.h index bd3ab22a6..5d337297e 100644 --- a/src/mpfr-impl.h +++ b/src/mpfr-impl.h @@ -88,7 +88,11 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., #endif #include "mpfr-thread.h" +#ifndef MPFR_USE_MINI_GMP #include "gmp.h" +#else +#include "mini-gmp.h" +#endif /* With the current code, MPFR_LONG_WITHIN_LIMB must be defined if an unsigned long fits in a limb. Since one cannot rely on the configure |