diff options
| -rw-r--r-- | examples/version.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/examples/version.c b/examples/version.c index 67f0f3976..57c0f8809 100644 --- a/examples/version.c +++ b/examples/version.c @@ -62,6 +62,13 @@ int main (void) printf ("MPFR .... Library: %-12s Header: %s (based on %d.%d.%d)\n", mpfr_get_version (), MPFR_VERSION_STRING, MPFR_VERSION_MAJOR, MPFR_VERSION_MINOR, MPFR_VERSION_PATCHLEVEL); + +#if MPFR_VERSION_MAJOR >= 3 + printf ("MPFR features: TLS = %s, decimal = %s\n", + mpfr_buildopt_tls_p () ? "yes" : "no", + mpfr_buildopt_decimal_p () ? "yes" : "no"); +#endif + printf ("MPFR patches: %s\n\n", mpfr_get_patches ()); #ifdef __GMP_CC @@ -86,6 +93,12 @@ int main (void) printf ("Warning! This is different from GMP_LIMB_BITS!\n" "Different ABI caused by a GMP library upgrade?\n"); +#if MPFR_VERSION_MAJOR >= 3 + printf ("\n"); + printf ("sizeof(mpfr_prec_t) = %d\n", (int) sizeof(mpfr_prec_t)); + printf ("sizeof(mpfr_exp_t) = %d\n", (int) sizeof(mpfr_exp_t)); +#endif + failure_test (); return 0; |