From 140fba5fcc72075f316332e16b649042d6454f5c Mon Sep 17 00:00:00 2001 From: zimmerma Date: Wed, 12 Sep 2018 13:32:33 +0000 Subject: [tests/tests.c] libgmp is not defined with mini-gmp (issue found with -O0) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13179 280ebfd0-de03-0410-8827-d642c229c3f4 --- tests/tests.c | 5 +++++ 1 file changed, 5 insertions(+) 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" -- cgit v1.2.1