diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/texmfmp.c')
-rw-r--r-- | Build/source/texk/web2c/lib/texmfmp.c | 6 |
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 */ |