Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 877417 - media-plugins/grilo-plugins-0.3.15: add support for lua version 5.4
Summary: media-plugins/grilo-plugins-0.3.15: add support for lua version 5.4
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal minor (vote)
Assignee: Gentoo Linux Gnome Desktop Team
Depends on:
Reported: 2022-10-17 10:03 UTC by Jocelyn Mayer
Modified: 2022-10-18 02:40 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

output from emerge --info =media-plugins/grilo-plugins-0.3.15 (emerge_infos,24.49 KB, text/plain)
2022-10-17 10:05 UTC, Jocelyn Mayer

Note You need to log in before you can comment on or make changes to this bug.
Description Jocelyn Mayer 2022-10-17 10:03:18 UTC
grilo-plugins currently builds with lua version 5.3. As for many lua dependant packages, when version 5.3 is supported, version 5.4 can be used too in order to avoid keeping multiple lua versions installed

Reproducible: Always

Steps to Reproduce:
1. Patch LUA_COMPAT variable
2. Build against lua version 5.4
Actual Results:  
Only lua version 5.3 is supported

Expected Results:  
Lua version 5.4 could be added

The following patch seems to be sufficient:

-LUA_COMPAT=( lua5-3 )
+LUA_COMPAT=( lua5-{3,4} )
Comment 1 Jocelyn Mayer 2022-10-17 10:05:36 UTC
Created attachment 824565 [details]
output from emerge --info =media-plugins/grilo-plugins-0.3.15