diff options
| author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-12 13:32:33 +0000 |
|---|---|---|
| committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-12 13:32:33 +0000 |
| commit | 140fba5fcc72075f316332e16b649042d6454f5c (patch) | |
| tree | b7daeaf746d835ad5956ff80ad0b08860a55829e | |
| parent | 82b346a574c2ae0db73c965c8ffc75ebcfc8fc1c (diff) | |
| download | mpfr-140fba5fcc72075f316332e16b649042d6454f5c.tar.gz | |
[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
| -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" |