From 407aeb28dbf44e8eb31141fc2627939e6edddbe0 Mon Sep 17 00:00:00 2001
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
Date: Wed, 1 Jul 2020 10:21:37 +0200
Subject: [mpcheck] print GMP/MPFR versions

---
 tools/mpcheck/README               | 3 ++-
 tools/mpcheck/mpcheck-common.c     | 3 ++-
 tools/mpcheck/mpcheck-double.c     | 2 ++
 tools/mpcheck/mpcheck-float.c      | 2 ++
 tools/mpcheck/mpcheck-float128.c   | 2 ++
 tools/mpcheck/mpcheck-longdouble.c | 2 ++
 6 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/tools/mpcheck/README b/tools/mpcheck/README
index f35ff80..c65ca0b 100644
--- a/tools/mpcheck/README
+++ b/tools/mpcheck/README
@@ -1,3 +1,4 @@
 The mpcheck tool provides tests to check the MPC library against the
-C library. It is meant as a tool for developers.
+C library. It is meant as a tool for MPC developers, or for people who
+want to assert the accuracy of the C library.
 
diff --git a/tools/mpcheck/mpcheck-common.c b/tools/mpcheck/mpcheck-common.c
index 0133f2a..cc96dd1 100644
--- a/tools/mpcheck/mpcheck-common.c
+++ b/tools/mpcheck/mpcheck-common.c
@@ -182,6 +182,7 @@ mpfr_agree (mpfr_t a, mpfr_t b, int inex)
     return mpfr_equal_p (a, b) || inex == 2 || inex == -2;
 }
 
+#if 0
 static int
 cputime (void)
 {
@@ -190,4 +191,4 @@ cputime (void)
   getrusage (0, &rus);
   return rus.ru_utime.tv_sec * 1000 + rus.ru_utime.tv_usec / 1000;
 }
-
+#endif
diff --git a/tools/mpcheck/mpcheck-double.c b/tools/mpcheck/mpcheck-double.c
index df216aa..53d779f 100644
--- a/tools/mpcheck/mpcheck-double.c
+++ b/tools/mpcheck/mpcheck-double.c
@@ -195,6 +195,8 @@ main (int argc, char *argv[])
   gmp_randinit_default (state);
   mpz_init (expz);
 
+  printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ());
+
 #ifdef __GNUC__
   printf ("GNU libc version: %s\n", gnu_get_libc_version ());
   printf ("GNU libc release: %s\n", gnu_get_libc_release ());
diff --git a/tools/mpcheck/mpcheck-float.c b/tools/mpcheck/mpcheck-float.c
index 9e4bdea..d1d3559 100644
--- a/tools/mpcheck/mpcheck-float.c
+++ b/tools/mpcheck/mpcheck-float.c
@@ -200,6 +200,8 @@ main (int argc, char *argv[])
   gmp_randinit_default (state);
   mpz_init (expz);
 
+  printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ());
+
 #ifdef __GNUC__
   printf ("GNU libc version: %s\n", gnu_get_libc_version ());
   printf ("GNU libc release: %s\n", gnu_get_libc_release ());
diff --git a/tools/mpcheck/mpcheck-float128.c b/tools/mpcheck/mpcheck-float128.c
index ba08efd..1d02ae2 100644
--- a/tools/mpcheck/mpcheck-float128.c
+++ b/tools/mpcheck/mpcheck-float128.c
@@ -205,6 +205,8 @@ main (int argc, char *argv[])
   gmp_randinit_default (state);
   mpz_init (expz);
 
+  printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ());
+
 #ifdef __GNUC__
   printf ("GNU libc version: %s\n", gnu_get_libc_version ());
   printf ("GNU libc release: %s\n", gnu_get_libc_release ());
diff --git a/tools/mpcheck/mpcheck-longdouble.c b/tools/mpcheck/mpcheck-longdouble.c
index 6f7aefc..e5e3ee4 100644
--- a/tools/mpcheck/mpcheck-longdouble.c
+++ b/tools/mpcheck/mpcheck-longdouble.c
@@ -188,6 +188,8 @@ main (int argc, char *argv[])
   gmp_randinit_default (state);
   mpz_init (expz);
 
+  printf ("Using GMP %s, MPFR %s\n", gmp_version, mpfr_get_version ());
+
 #ifdef __GNUC__
   printf ("GNU libc version: %s\n", gnu_get_libc_version ());
   printf ("GNU libc release: %s\n", gnu_get_libc_release ());
-- 
cgit v1.2.1