diff options
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mpmathbinary.w | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/mplibdir/mpmathbinary.w b/Build/source/texk/web2c/mplibdir/mpmathbinary.w index f3d9ed947a8..c2f8535a05b 100644 --- a/Build/source/texk/web2c/mplibdir/mpmathbinary.w +++ b/Build/source/texk/web2c/mplibdir/mpmathbinary.w @@ -41,8 +41,9 @@ #include <mpfr.h> #ifdef HAVE_CONFIG_H -#include <gmp/config.h> -const char * const COMPILED_gmp_version = VERSION; +#define MP_STR_HELPER(x) #x +#define MP_STR(x) MP_STR_HELPER(x) +const char * const COMPILED_gmp_version = MP_STR(__GNU_MP_VERSION) "." MP_STR( __GNU_MP_VERSION_MINOR) "." MP_STR(__GNU_MP_VERSION_PATCHLEVEL); #else const char * const COMPILED_gmp_version = "unknown"; #endif |