diff options
-rw-r--r-- | src/mpfr-impl.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mpfr-impl.h b/src/mpfr-impl.h index 0a9c405b2..a6493848a 100644 --- a/src/mpfr-impl.h +++ b/src/mpfr-impl.h @@ -103,6 +103,9 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., #ifdef MPFR_HAVE_GMP_IMPL /* Build with gmp internals */ +# ifdef MPFR_USE_MINI_GMP +# error "MPFR_HAVE_GMP_IMPL and MPFR_USE_MINI_GMP must not be both defined" +# endif # include "gmp-impl.h" # ifdef MPFR_NEED_LONGLONG_H # include "longlong.h" |