Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 78164 - MediaWiki (optionally) explicitely depends on app-text/tetex instead on virtual/tetex
Summary: MediaWiki (optionally) explicitely depends on app-text/tetex instead on virtu...
Status: VERIFIED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All All
: High trivial (vote)
Assignee: Christian Parpart (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-01-15 19:26 UTC by Ben Blazke
Modified: 2005-05-05 10:35 UTC (History)
2 users (show)

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


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ben Blazke 2005-01-15 19:26:58 UTC
The MediaWiki ebuild wants to unmerge an existing TeX installation.

Reproducible: Always
Steps to Reproduce:
1. [turn on USE flag 'tetex', install cstetex]
2. emerge -pv mediawiki
3.


Actual Results:  
# emerge -pv mediawiki

These are the packages that I would merge, in order:

Calculating dependencies ...done!
[blocks B     ] app-text/cstetex (from pkg app-text/tetex-2.0.2-r4)
[ebuild  N    ] dev-lang/ocaml-3.08.2  -debug -latex +tcltk 2,004 kB
[ebuild  N    ] app-text/tetex-2.0.2-r4  +X -debug +doc 1 kB
[ebuild  N    ] www-apps/mediawiki-1.3.9  +imagemagick +tetex -vhosts 1,538 kB


Expected Results:  
# emerge -pv mediawiki

These are the packages that I would merge, in order:

Calculating dependencies ...done!
[ebuild  N    ] dev-lang/ocaml-3.08.2  -debug -latex +tcltk 2,004 kB
[ebuild  N    ] www-apps/mediawiki-1.3.9  +imagemagick +tetex -vhosts 1,538 kB


I believe that the line 19 in the ebuild (mediawiki-1.3.9.ebuild) should be:
          tetex? ( virtual/tetex )
instead of
          tetex? ( app-text/tetex )
Comment 1 Daniel Webert 2005-05-02 08:16:11 UTC
ping - easy one? - and why a blocker?
Comment 2 Elfyn McBratney (beu) (RETIRED) gentoo-dev 2005-05-02 09:28:29 UTC
Dunno, you'll have to ask the maintainer (now assigned to him ;)
Comment 3 Christian Parpart (RETIRED) gentoo-dev 2005-05-04 14:37:22 UTC
well, sorry for that late response, my new company's work is completely fscking my time up :(

I'll take care of this :-)
Comment 4 Christian Parpart (RETIRED) gentoo-dev 2005-05-04 15:00:56 UTC
erm, yeah, I fixed it, and with that action, I bumped up to 1.4.3 that's been recently announced.

feel free to test it ;)
Comment 5 Christian Parpart (RETIRED) gentoo-dev 2005-05-04 15:02:12 UTC
ah, remark! please don't mark bugs like those a BLOCKER that they aren't.
usually only devs set them to this for particular reasons, besides, this one here I consider being trivial instead (just a note :-)
Comment 6 Ben Blazke 2005-05-05 10:35:44 UTC
Well, it did block the installation of mediawiki, didn't it? Of course, an average Gentoo user should be able to workaround this kind of problems but still ;-)