summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/lib/texmfmp.c
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/lib/texmfmp.c')
-rw-r--r--Build/source/texk/web2c/lib/texmfmp.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c
index 00e32e63283..a2ec1986b63 100644
--- a/Build/source/texk/web2c/lib/texmfmp.c
+++ b/Build/source/texk/web2c/lib/texmfmp.c
@@ -89,6 +89,11 @@
#define edit_var "TEXEDIT"
#endif /* TeX */
#ifdef MF
+#if defined(MFLua)
+#include <mfluadir/mfluaextra.h>
+#elif defined(MFLuaJIT)
+#include <mfluajitdir/mfluajitextra.h>
+#else
#define BANNER "This is Metafont, Version 2.7182818"
#define COPYRIGHT_HOLDER "D.E. Knuth"
#define AUTHOR NULL
@@ -105,6 +110,7 @@
#define INPUT_FORMAT kpse_mf_format
#define INI_PROGRAM "inimf"
#define VIR_PROGRAM "virmf"
+#endif
#define edit_var "MFEDIT"
#endif /* MF */