diff options
| author | Luigi Scarso <luigi.scarso@gmail.com> | 2018-09-06 23:40:05 +0000 |
|---|---|---|
| committer | Luigi Scarso <luigi.scarso@gmail.com> | 2018-09-06 23:40:05 +0000 |
| commit | 80cbbf4dde940a0fbc144d2d9cc69e7c60eeea45 (patch) | |
| tree | 497882f33229504ea3341729866df38876cbc16b | |
| parent | 09c194b183cf681c51601196e44eb1454a2132a0 (diff) | |
fixed gmp version in mpmathbinary.w
git-svn-id: svn://tug.org/texlive/trunk@48611 c570f23f-e606-0410-a88d-b1316a301751
| -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 |