diff options
Diffstat (limited to 'tests/tests.c')
| -rw-r--r-- | tests/tests.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/tests.c b/tests/tests.c index 9ab90bd10..4833ef2f7 100644 --- a/tests/tests.c +++ b/tests/tests.c @@ -169,8 +169,13 @@ test_version (void) installations). */ if (err) { +#ifndef MPFR_USE_MINI_GMP printf ("ERROR! The versions of gmp.h (%s) and libgmp (%s) do not " "match.\nThe possible causes are:\n", buffer, gmp_version); +#else /* libgmp is not defined in mini-gmp */ + printf ("ERROR! The versions of gmp.h (%s) and libgmp do not " + "match.\nThe possible causes are:\n", buffer); +#endif printf (" * A bad configuration in your include/library search paths.\n" " * An inconsistency in the include/library search paths of\n" " your development environment; an example:\n" |