diff options
Diffstat (limited to 'Build/source/texk/web2c/texmfmp.h')
-rw-r--r-- | Build/source/texk/web2c/texmfmp.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/texmfmp.h b/Build/source/texk/web2c/texmfmp.h index a4cd5f28cc8..26eae5648fb 100644 --- a/Build/source/texk/web2c/texmfmp.h +++ b/Build/source/texk/web2c/texmfmp.h @@ -1,4 +1,4 @@ -/* texmf.h: Main include file for TeX and Metafont in C. This file is +/* texmf.h: Main include file for TeX and MF in C. This file is included by {tex,mf}d.h, which is the first include in the C files output by web2c. */ @@ -89,8 +89,16 @@ typedef void* voidpointer; #define OUT_BUF dvibuf #endif /* TeX */ #ifdef MF +#if defined(MFLua) +#define TEXMFPOOLNAME "mflua.pool" +#define TEXMFENGINENAME "mflua" +#elif defined(MFLua) +#define TEXMFPOOLNAME "mfluajit.pool" +#define TEXMFENGINENAME "mfluajit" +#else #define TEXMFPOOLNAME "mf.pool" #define TEXMFENGINENAME "metafont" +#endif #define DUMP_FILE basefile #define DUMP_FORMAT kpse_base_format #define writegf WRITE_OUT |