Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 310305 - sci-mathematics/coq[doc] should depend on media-libs/netpbm[zlib]
Summary: sci-mathematics/coq[doc] should depend on media-libs/netpbm[zlib]
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High minor (vote)
Assignee: Gentoo Science Related Packages
URL:
Whiteboard:
Keywords:
: 342773 (view as bug list)
Depends on:
Blocks:
 
Reported: 2010-03-20 00:47 UTC by Christian D.
Modified: 2010-11-11 20:24 UTC (History)
2 users (show)

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

Attachments
proposed ebuild (coq-8.2_p1-r1.ebuild,1.98 KB, text/plain)
2010-03-20 00:50 UTC, Christian D. 		Details
View All 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 Christian D. 2010-03-20 00:47:12 UTC 
The package sci-mathematics/coq fails to emerge with USE="doc".
Error Message: 
/bin/bash: pngtopnm: Command not found.
/bin/bash: pnmtops: Command not found.

I added a dependency on media-libs/netpbm (for +doc) which fixes the build problem (for me). Unfortunately the graphics in the produced pdfs look rather crappy (FAQ; p. 11)
Comment 1 Christian D. 2010-03-20 00:50:24 UTC 
Created attachment 224303 [details]
proposed ebuild
Comment 2 Alexis Ballier gentoo-dev 2010-04-09 10:34:54 UTC 
fixed, thanks

next time please include unified diffs to ebuilds, its easier to verify and include that way
Comment 3 Christian Ruppert (idl0r) gentoo-dev 2010-10-26 14:56:54 UTC 
*** Bug 342773 has been marked as a duplicate of this bug. ***
Comment 4 Christian Ruppert (idl0r) gentoo-dev 2010-10-26 14:57:24 UTC 
> sci-mathematics/coq[doc] should depend on media-libs/netpbm[zlib] to get
> pnmtops program (netpmb[-zlib] doesn't provide it), otherwise coq configure
> script says:
> 
> pnmtops was not found; documentation will not be available.
> 
> related bug: http://bugs.gentoo.org/show_bug.cgi?id=310305
> (I couldn't reopen it)
> 
> Reproducible: Always
Comment 5 Alexis Ballier gentoo-dev 2010-11-11 20:24:04 UTC 
fixed, thanks