Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 411697 - media-sound/frescobaldi[portmidi] should depend on media-libs/portmidi[python]
Summary: media-sound/frescobaldi[portmidi] should depend on media-libs/portmidi[python]
Status: RESOLVED INVALID
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Linux bug wranglers
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-04-12 07:27 UTC by Casper Ti. Vector
Modified: 2012-04-12 10:27 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 Casper Ti. Vector 2012-04-12 07:27:10 UTC 
The internal MIDI player (enabled by the `portmidi' USE flag) of media-sound/frescobaldi requires the `pyportmidi' python module, which can be introduced by the `python' USE flag of media-libs/portmidi.
Therefore, media-sound/frescobaldi, when enabling the portmidi USE flag, should depend on `media-libs/portmidi[python]', not just `media-libs/portmidi' (as of media-sound/frescobaldi-2.0.4).
Comment 1 Samuli Suominen (RETIRED) gentoo-dev 2012-04-12 09:33:20 UTC 
I believe you are mistaken as per upstream INSTALL file:

For MIDI the PortMidi library is used, either via importing 'pypm',
'pyportmidi._pyportmidi, or [ ... ] 
embedding the PortMidi C-library via ctypes.

And the C-library is always installed, so the fallback is available in any case.
Comment 2 Casper Ti. Vector 2012-04-12 10:27:50 UTC 
Yes, now I find it working without media-libs/portmidi[python], so something might be wrong with my configurations at that time.
Thanks for your clarification :)