diff options
| author | Hans Hagen <pragma@wxs.nl> | 2022-12-09 18:16:10 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2022-12-09 18:16:10 +0100 |
| commit | 3bdc9b9072bba774cd5c604fe185d39ddbdc911e (patch) | |
| tree | b8efd7c6a858544767c1d8a9a4efb20f60c039db /source/luametatex/cmake | |
| parent | fb63eac7402fbd3bb00d7591cc4fbac1b2db2582 (diff) | |
| download | context-3bdc9b9072bba774cd5c604fe185d39ddbdc911e.tar.gz | |
2022-12-09 16:33:00
Diffstat (limited to 'source/luametatex/cmake')
| -rw-r--r-- | source/luametatex/cmake/lua.cmake | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/luametatex/cmake/lua.cmake b/source/luametatex/cmake/lua.cmake index 8e370a05e..ed0ab1803 100644 --- a/source/luametatex/cmake/lua.cmake +++ b/source/luametatex/cmake/lua.cmake @@ -56,6 +56,7 @@ target_include_directories(lua PRIVATE target_compile_definitions(lua PUBLIC # This one should also be set in the lua namespace! # LUAI_HASHLIMIT=6 # obsolete + # LUAI_MAXSHORTLEN=48 LUAI_MAXCSTACK=6000 LUA_UCID # LUA_USE_JUMPTABLE=0 @@ -64,6 +65,7 @@ target_compile_definitions(lua PUBLIC # LUA_NOBUILTIN # disable likely usage # LUAI_ASSERT # LUA_STRFTIMEOPTIONS="aAbBcCdDeFgGhHIjmMnprRStTuUVwWxXyYzZ%" + # MINSTRTABSIZE=65536 ) if (UNIX) |