diff options
| author |   Jeremy Huddleston <eradicator@gentoo.org> | 2004-02-15 21:58:32 +0000 |
|---|---|---|
| committer | Jeremy Huddleston <eradicator@gentoo.org> | 2004-02-15 21:58:32 +0000 |
| commit | 61a8e10910134d4936c112b36f78af258c5bfc85 (patch) | |
| tree | ccccfb6ca64d283407c5cd8826d47ecefa593e78 | |
| parent | PROVIDE="virtual/mpg123" for bug #14940. (Manifest recommit) (diff) | |
| download | gentoo-2-61a8e10910134d4936c112b36f78af258c5bfc85.tar.gz gentoo-2-61a8e10910134d4936c112b36f78af258c5bfc85.tar.bz2 gentoo-2-61a8e10910134d4936c112b36f78af258c5bfc85.zip | |
PROVIDE="virtual/mpg123" for bug #14940. Now using make DESTDIR=${D} install.
| -rw-r--r-- | media-sound/mpg321/ChangeLog | 8 | ||||
| -rw-r--r-- | media-sound/mpg321/metadata.xml | 5 | ||||
| -rw-r--r-- | media-sound/mpg321/mpg321-0.2.10-r1.ebuild | 9 |
3 files changed, 17 insertions, 5 deletions
diff --git a/media-sound/mpg321/ChangeLog b/media-sound/mpg321/ChangeLog index 25e685a2100e..e661eb54fc58 100644 --- a/media-sound/mpg321/ChangeLog +++ b/media-sound/mpg321/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for media-sound/mpg321 -# Copyright 2002-2003 Gentoo Technologies, Inc.; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/media-sound/mpg321/ChangeLog,v 1.12 2003/12/01 22:38:11 agriffis Exp $ +# Copyright 2002-2004 Gentoo Technologies, Inc.; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/media-sound/mpg321/ChangeLog,v 1.13 2004/02/15 21:58:32 eradicator Exp $ + + 15 Feb 2004; Jeremy Huddleston <eradicator@gentoo.org> metadata.xml, + mpg321-0.2.10-r1.ebuild: + PROVIDE="virtual/mpg123" for bug #14940. Now using make DESTDIR=${D} install. 01 Dec 2003; Aron Griffis <agriffis@gentoo.org> mpg321-0.2.10-r1.ebuild: Stable on alpha diff --git a/media-sound/mpg321/metadata.xml b/media-sound/mpg321/metadata.xml new file mode 100644 index 000000000000..e1774e3d9ad7 --- /dev/null +++ b/media-sound/mpg321/metadata.xml @@ -0,0 +1,5 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<herd>sound</herd> +</pkgmetadata> diff --git a/media-sound/mpg321/mpg321-0.2.10-r1.ebuild b/media-sound/mpg321/mpg321-0.2.10-r1.ebuild index a3762b48d813..41bbaa7973e7 100644 --- a/media-sound/mpg321/mpg321-0.2.10-r1.ebuild +++ b/media-sound/mpg321/mpg321-0.2.10-r1.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2003 Gentoo Technologies, Inc. +# Copyright 1999-2004 Gentoo Technologies, Inc. # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/media-sound/mpg321/mpg321-0.2.10-r1.ebuild,v 1.13 2003/12/04 13:23:27 drobbins Exp $ +# $Header: /var/cvsroot/gentoo-x86/media-sound/mpg321/mpg321-0.2.10-r1.ebuild,v 1.14 2004/02/15 21:58:32 eradicator Exp $ S=${WORKDIR}/${P} DESCRIPTION="Free MP3 player, drop-in replacement for mpg123" @@ -14,6 +14,8 @@ SLOT="0" LICENSE="GPL-2" KEYWORDS="amd64 x86 ~ppc sparc ~mips alpha" +PROVIDE="virtual/mpg123" + MPG123="false" pkg_setup() { @@ -48,5 +50,6 @@ src_compile() { } src_install () { - einstall || die + make DESTDIR=${D} install || die + dodoc dodoc AUTHORS BUGS COPYING ChangeLog HACKING INSTALL NEWS README README.remote THANKS TODO } |