Hi Marc,
> +#ifndef MINI_GMP_LIMB_TYPE
> +/* Verify that the gmp.h header file was generated for the same
> + machine word size as we are using. */
> +static_assert (GMP_NUMB_BITS == sizeof (mp_limb_t) * CHAR_BIT);
> +#endif
> +
> +int
> +main ()
> +{
> +#ifndef MINI_GMP_LIMB_TYPE
> + /* Verify that the gmp.h header file and the libgmp library come from
> + the same GMP version. */
> + {
> + char gmp_header_version[32];
> + sprintf (gmp_header_version, "%d.%d.%d", __GNU_MP_VERSION,
> + __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL);
> + if (strcmp (gmp_version, gmp_header_version) != 0)
> + {
> + char gmp_header_version2[32];
> + if (__GNU_MP_VERSION_PATCHLEVEL > 0
> + || (sprintf (gmp_header_version2, "%d.%d", __GNU_MP_VERSION,
> + __GNU_MP_VERSION_MINOR),
> + strcmp (gmp_version, gmp_header_version2) != 0))
> + {
> + fprintf (stderr,
> + "gmp header version (%s) does not match gmp library version (%s).\n",
> + gmp_header_version, gmp_version);
> + exit (1);
> + }
> + }
> + }
> +#endif
These verifications are already contained in test-libgmp-mpz.c.
Is it imaginable that test-libgmp-mpq.c and test-libgmp-mpz.c use a different
gmp.h? I don't think so.
Is it imaginable that test-libgmp-mpq.c and test-libgmp-mpz.c use a different
libgmp? I don't think so.
So, in test-libgmp-mpq.c these verifications are redundant. How about removing them?
They are removed in the pushed commit.