Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 601210 - media-video/mpv - request for 'tools' USE flag
Summary: media-video/mpv - request for 'tools' USE flag
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Coacher
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-11-29 13:23 UTC by Thomas Capricelli
Modified: 2016-12-05 23:11 UTC (History)
2 users (show)

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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Thomas Capricelli 2016-11-29 13:23:27 UTC 
mpv tarbar contains a lot of tools in the TOOLS/ subdirectory. Only lua ones are installed by media-video/mpv[lua], but there's no way to get others.

This is a request to have them, ideally using some new USE flag
Comment 1 Coacher 2016-11-29 14:07:19 UTC 
What exactly from TOOLS directory do you need? Most of those tools are not useful for daily usage, e.g. release tools, CI tools, build tools.
Comment 2 Thomas Capricelli 2016-11-29 14:25:28 UTC 
I am mostly interested in idet.sh and mpv_identify.sh
Comment 3 Coacher 2016-11-29 15:56:24 UTC 
(In reply to Thomas Capricelli from comment #2)
> I am mostly interested in idet.sh and mpv_identify.sh
Ok, I'll add 'tools' USE to install these scripts and maybe smth else.
I'm a bit busy atm, though. ETA is 3-4 days.
Comment 4 Coacher 2016-12-05 00:47:52 UTC 
PR https://github.com/gentoo/gentoo/pull/3015
Comment 5 Coacher 2016-12-05 00:50:06 UTC 
Together with 'lua' and 'vf-dlopen' USEs this covers IMO every single useful thing in TOOLS/ dir.
Comment 6 Patrice Clement gentoo-dev 2016-12-05 22:49:39 UTC 
commit bc2597dccc6486ba9e8f1de563eeafe34bef75f7 (HEAD -> master, origin/master, origin/HEAD)
Author:     Ilya Tumaykin <itumaykin@gmail.com>
AuthorDate: Sun Dec 4 23:52:41 2016 +0300
Commit:     Patrice Clement <monsieurp@gentoo.org>
CommitDate: Mon Dec 5 23:48:35 2016 +0100

media-video/mpv: optionally install extra tools.

Gentoo-Bug: https://bugs.gentoo.org/601210

Package-Manager: portage-2.3.2
Closes: https://github.com/gentoo/gentoo/pull/3015

media-video/mpv/metadata.xml         |   1 +
media-video/mpv/mpv-0.22.0-r1.ebuild | 347 +++++++++++++++++++++++++++++++++++
media-video/mpv/mpv-9999.ebuild      |  14 +-
3 files changed, 359 insertions(+), 3 deletions(-)
create mode 100644 media-video/mpv/mpv-0.22.0-r1.ebuild

Merged, thanks Coacher!
Comment 7 Coacher 2016-12-05 23:11:49 UTC 
Note that idet.sh is installed as mpv_idet.sh to avoid potential collisions.