diff options
| author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-02-05 18:50:19 +0100 |
|---|---|---|
| committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-02-05 18:50:19 +0100 |
| commit | f0e72df427417c9e5bbbfbb8587004ff81473cd9 (patch) | |
| tree | 5c8847af7d4e00748640f324129de4744a1965a7 | |
| parent | b41204963647d8d7a6ca174871e6214e5438d011 (diff) | |
| download | mpc-git-f0e72df427417c9e5bbbfbb8587004ff81473cd9.tar.gz | |
added information about glibc version + fix for "make mpc_check"
| -rw-r--r-- | tests/Makefile.am | 2 | ||||
| -rw-r--r-- | tests/mpc_check.c | 8 |
2 files changed, 8 insertions, 2 deletions
diff --git a/tests/Makefile.am b/tests/Makefile.am index d769e5b..d4dffec 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -17,7 +17,7 @@ ## You should have received a copy of the GNU Lesser General Public License ## along with this program. If not, see http://www.gnu.org/licenses/ . -AM_CPPFLAGS = -I$(top_srcdir)/src +AM_CPPFLAGS = -I$(top_srcdir)/src -I$(top_srcdir) LDADD = libmpc-tests.la $(top_builddir)/src/libmpc.la # let libtool create an executable instead of a shell script # useful for tests with valgrind diff --git a/tests/mpc_check.c b/tests/mpc_check.c index 569699e..185a185 100644 --- a/tests/mpc_check.c +++ b/tests/mpc_check.c @@ -35,6 +35,9 @@ along with this program. If not, see http://www.gnu.org/licenses/ . #include <string.h> #include <complex.h> #include "mpc-tests.h" +#ifdef __GNUC__ +#include <gnu/libc-version.h> +#endif gmp_randstate_t state; unsigned long seed = 1; @@ -176,6 +179,10 @@ main (int argc, char *argv[]) gmp_randinit_default (state); +#ifdef __GNUC__ + printf ("GNU libc version: %s\n", gnu_get_libc_version ()); + printf ("GNU libc release: %s\n", gnu_get_libc_release ()); +#endif printf ("Using random seed %lu\n", seed); /* (complex,complex) -> complex */ @@ -211,4 +218,3 @@ main (int argc, char *argv[]) return 0; } - |