diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -40,7 +40,7 @@ system's package manager. | |||
40 | Default is \$PREFIX | 40 | Default is \$PREFIX |
41 | 41 | ||
42 | --lua-version=VERSION Use specific Lua version: 5.1, 5.2, or 5.3 | 42 | --lua-version=VERSION Use specific Lua version: 5.1, 5.2, or 5.3 |
43 | Default is "$LUA_VERSION" | 43 | Default is auto-detected. |
44 | --lua-suffix=SUFFIX Versioning suffix to use in Lua filenames. | 44 | --lua-suffix=SUFFIX Versioning suffix to use in Lua filenames. |
45 | Default is "$LUA_SUFFIX" (lua$LUA_SUFFIX...) | 45 | Default is "$LUA_SUFFIX" (lua$LUA_SUFFIX...) |
46 | --with-lua=PREFIX Use Lua from given prefix. | 46 | --with-lua=PREFIX Use Lua from given prefix. |