summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLuigi Scarso <luigi.scarso@gmail.com>2018-09-06 23:40:05 +0000
committerLuigi Scarso <luigi.scarso@gmail.com>2018-09-06 23:40:05 +0000
commit80cbbf4dde940a0fbc144d2d9cc69e7c60eeea45 (patch)
tree497882f33229504ea3341729866df38876cbc16b
parent09c194b183cf681c51601196e44eb1454a2132a0 (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.w5
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