summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-12 14:28:03 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-12 14:28:03 +0000
commitcac8a5c7dbbed96cb74fc2e6e711ba71e1d78b0f (patch)
tree78ccf83a8d60e8a3a05c6ec1e06644624f46ee63
parent283bc2d36c5ea0df3e047217b0392d9a1119cd6d (diff)
downloadmpfr-cac8a5c7dbbed96cb74fc2e6e711ba71e1d78b0f.tar.gz
[tests/tests.c] Improved change in r13179 for mini-gmp.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13181 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--tests/tests.c7
1 files changed, 1 insertions, 6 deletions
diff --git a/tests/tests.c b/tests/tests.c
index 4833ef2f7..c9259d54f 100644
--- a/tests/tests.c
+++ b/tests/tests.c
@@ -154,7 +154,6 @@ test_version (void)
(sprintf (buffer, "%d.%d", __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR),
strcmp (buffer, gmp_version) != 0)))
err = 1;
-#endif
/* In some cases, it may be acceptable to have different versions for
the header and the library, in particular when shared libraries are
@@ -169,13 +168,8 @@ 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"
@@ -189,6 +183,7 @@ test_version (void)
" with MPFR.\nIf some other tests fail, please solve that"
" problem first.\n");
}
+#endif
/* VL: I get the following error on an OpenSUSE machine, and changing
the value of shlibpath_overrides_runpath in the libtool file from