summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-12 12:21:53 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-12 12:21:53 +0000
commit5c54e1f6d18aa289fbc730548b44458add616280 (patch)
tree8dfeba4af62a48859543f8d25e29b74bba31f220
parent7bde2ee057741f40e0448cccb2ca015c9e463941 (diff)
downloadmpfr-5c54e1f6d18aa289fbc730548b44458add616280.tar.gz
[src/mpfr-impl.h] Check that MPFR_HAVE_GMP_IMPL and MPFR_USE_MINI_GMP
are not both defined. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13177 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--src/mpfr-impl.h3
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"