Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 282610 - gnome-extra/gnome-do-plugins: redundant dependency on monodevelop
Summary: gnome-extra/gnome-do-plugins: redundant dependency on monodevelop
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: High normal (vote)
Assignee: Hans de Graaff
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2009-08-24 20:29 UTC by Alexey Vladykin
Modified: 2009-08-29 07:26 UTC (History)
0 users

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 Alexey Vladykin 2009-08-24 20:29:09 UTC 
gnome-extra/gnome-do-plugins ebuild declares dependency on dev-util/monodevelop, which seems to be redundant. I have dev-lang/mono, but not dev-util/monodevelop, and I could successfully emerge gnome-do-plugins suppressing monodevelop installation with --nodep. Build succeeded, and plugins were installed and working.
It seems that dev-util/monodevelop dependency can (and should) be replaced with just dev-lang/mono.
Comment 1 Hans de Graaff gentoo-dev Security 2009-08-29 07:26:04 UTC 
Previous versions used mdtool as part of the build process and this tool is distributed as part of monodevelop. But as you already checked gnome-do-plugins-0.8.2 no longer has this requirement and builds fine without mdtool present.

I've removed the monodevelop dependency, thanks for the report.