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
Status: RESOLVED FIXED
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
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-10-17 10:03 UTC by Jocelyn Mayer
Modified: 2023-04-10 20:52 UTC (History)
1 user (show)

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


Attachments
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
Details

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
3.
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
Comment 2 Larry the Git Cow gentoo-dev 2023-04-10 20:52:18 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=66e5b9e51929d17e9907f6b07472dff0b22eb431

commit 66e5b9e51929d17e9907f6b07472dff0b22eb431
Author:     Guillermo Joandet <gjoandet@gmail.com>
AuthorDate: 2023-03-17 00:59:15 +0000
Commit:     Matt Turner <mattst88@gentoo.org>
CommitDate: 2023-04-10 20:51:50 +0000

    media-plugins/grilo-plugins: Version bump to 0.3.16
    
    Closes: https://bugs.gentoo.org/877417
    Closes: https://github.com/gentoo/gentoo/pull/30117
    Signed-off-by: Guillermo Joandet <gjoandet@gmail.com>
    Signed-off-by: Matt Turner <mattst88@gentoo.org>

 media-plugins/grilo-plugins/Manifest               |   1 +
 .../grilo-plugins/grilo-plugins-0.3.16.ebuild      | 113 +++++++++++++++++++++
 profiles/base/package.use.mask                     |   4 +
 profiles/package.mask                              |  10 +-
 4 files changed, 122 insertions(+), 6 deletions(-)