1
0
mirror of https://github.com/mpv-player/mpv synced 2025-01-03 05:22:23 +00:00

build: pick up Lua 5.2 by default

Previously: 5.1 > 5.2 > luajit
Now:        5.2 > luajit > 5.1

I randomly decided that this should be done, since I suspect most
environments will prefer the highest Lua version anyway. There is not
much of a point picking the older one by default.

Maybe 5.1 should be dropped fully, but considering we need to stay
compatible with luajit, there is no particular incentive for this.
This commit is contained in:
wm4 2020-02-29 20:11:13 +01:00
parent c79619f110
commit d852ad2ae7

View File

@ -58,15 +58,15 @@ def check_iconv(ctx, dependency_identifier):
def check_lua(ctx, dependency_identifier):
lua_versions = [
( '51', 'lua >= 5.1.0 lua < 5.2.0'),
( '51obsd', 'lua51 >= 5.1.0'), # OpenBSD
( '51deb', 'lua5.1 >= 5.1.0'), # debian
( '51fbsd', 'lua-5.1 >= 5.1.0'), # FreeBSD
( '52', 'lua >= 5.2.0 lua < 5.3.0' ),
( '52arch', 'lua52 >= 5.2.0'), # Arch
( '52deb', 'lua5.2 >= 5.2.0'), # debian
( '52fbsd', 'lua-5.2 >= 5.2.0'), # FreeBSD
( 'luajit', 'luajit >= 2.0.0' ),
( '51', 'lua >= 5.1.0 lua < 5.2.0'),
( '51obsd', 'lua51 >= 5.1.0'), # OpenBSD
( '51deb', 'lua5.1 >= 5.1.0'), # debian
( '51fbsd', 'lua-5.1 >= 5.1.0'), # FreeBSD
]
if ctx.options.LUA_VER: