Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 144267

Summary: media-sound/sox does not install play.1
Product: Gentoo Linux Reporter: Jeroen Roovers (RETIRED) <jer>
Component: Current packagesAssignee: Gentoo Sound Team <sound>
Status: RESOLVED FIXED    
Severity: minor    
Priority: High    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description Jeroen Roovers (RETIRED) gentoo-dev 2006-08-17 18:01:27 UTC
Somewhere along the line sox's build system started to omit installing the play man page. The portion of the configure/Makefile that would do this seems quirky, but the simple portage based hack goes like this:

--- sox-12.17.9.ebuild. 2006-08-18 02:56:38.000000000 +0200
+++ sox-12.17.9.ebuild  2006-08-18 02:51:31.000000000 +0200
@@ -50,7 +50,7 @@
 }

 src_install() {
-       make DESTDIR="${D}" install || die "make install failed"
+       make DESTDIR="${D}" install install-play || die "make install failed"
        prepallman

        dodoc Changelog README TODO *.txt
Comment 1 Jeroen Roovers (RETIRED) gentoo-dev 2006-09-03 10:50:09 UTC
Fixed in CVS.