Gentoo Archives: gentoo-commits

From: "Michał Górny" <mgorny@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: www-plugins/gecko-mediaplayer/, profiles/
Date: Tue, 11 Dec 2018 13:55:53
Message-Id: 1544536403.8e71e531d1e5505d88136c3b637632504c683be8.mgorny@gentoo
1 commit: 8e71e531d1e5505d88136c3b637632504c683be8
2 Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
3 AuthorDate: Tue Dec 11 13:53:23 2018 +0000
4 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
5 CommitDate: Tue Dec 11 13:53:23 2018 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8e71e531
7
8 www-plugins/gecko-mediaplayer: Remove last-rited pkg
9
10 Closes: https://bugs.gentoo.org/629392
11 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
12
13 profiles/package.mask | 1 -
14 www-plugins/gecko-mediaplayer/Manifest | 2 --
15 .../gecko-mediaplayer-1.0.8.ebuild | 39 ----------------------
16 .../gecko-mediaplayer-1.0.9.ebuild | 39 ----------------------
17 www-plugins/gecko-mediaplayer/metadata.xml | 10 ------
18 5 files changed, 91 deletions(-)
19
20 diff --git a/profiles/package.mask b/profiles/package.mask
21 index 57c24cf2bef..b291d12d770 100644
22 --- a/profiles/package.mask
23 +++ b/profiles/package.mask
24 @@ -175,7 +175,6 @@ media-libs/libptp2
25 # Dead for years, last package depending on old musicbrainz:3 (#629392).
26 # Removal in a month.
27 media-video/gnome-mplayer
28 -www-plugins/gecko-mediaplayer
29
30 # Pacho Ramos <pacho@g.o> (11 Nov 2018)
31 # Fails to build (#662000), not compatible with kernel-4, use kernel driver rtsx_pci
32
33 diff --git a/www-plugins/gecko-mediaplayer/Manifest b/www-plugins/gecko-mediaplayer/Manifest
34 deleted file mode 100644
35 index e4af44d27bc..00000000000
36 --- a/www-plugins/gecko-mediaplayer/Manifest
37 +++ /dev/null
38 @@ -1,2 +0,0 @@
39 -DIST gecko-mediaplayer-1.0.8.tar.gz 269970 BLAKE2B 9dea88fc6c69360db1ed7e47178c27d6d2e0315159314a425dcb1d4f490f22df20faf8846af1080ede3e8f62369c450dba8455b44ae7e866a71c26fac13a9e7a SHA512 a66d286e668dbe1bbbbf42bbf68bd35bda68db73e7a30674f2cd87850e17a8c27ecf9ae3f32c3024fcca31174e3c5ef88da668b11a5cc3641824fae8c9367962
40 -DIST gecko-mediaplayer-1.0.9.tar.gz 271917 BLAKE2B 707aa669acd3881e2318e153aba975de962a5137f5f2df4119eb1008c0dfb029de9219f4a3c6478aef9b94e48286ebf9fd6328f9d850eaf3f229acc56c48a899 SHA512 64624726e2c668085455a7eaaf82f4d7f4c962212789284b2c652fc93b3a9c9e8ad6c3f7f4c887487b68870e867678dd47201bb9495de863a05e0e1e9b7f2a74
41
42 diff --git a/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.8.ebuild b/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.8.ebuild
43 deleted file mode 100644
44 index 0adfd37707b..00000000000
45 --- a/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.8.ebuild
46 +++ /dev/null
47 @@ -1,39 +0,0 @@
48 -# Copyright 1999-2014 Gentoo Foundation
49 -# Distributed under the terms of the GNU General Public License v2
50 -
51 -EAPI=5
52 -inherit multilib nsplugins
53 -
54 -DESCRIPTION="A browser plugin that uses GNOME MPlayer"
55 -HOMEPAGE="https://code.google.com/p/gecko-mediaplayer/"
56 -SRC_URI="https://${PN}.googlecode.com/files/${P}.tar.gz"
57 -
58 -LICENSE="GPL-2"
59 -SLOT="0"
60 -KEYWORDS="amd64 ~ppc ~ppc64 x86"
61 -IUSE="+curl"
62 -
63 -RDEPEND=">=dev-libs/dbus-glib-0.100
64 - >=dev-libs/glib-2.30
65 - dev-libs/nspr
66 - >=media-libs/gmtk-${PV}
67 - >=media-video/gnome-mplayer-${PV}[dbus]
68 - curl? ( net-misc/curl )"
69 -DEPEND="${RDEPEND}
70 - app-arch/xz-utils
71 - >=net-misc/npapi-sdk-0.27
72 - sys-devel/gettext
73 - virtual/pkgconfig"
74 -
75 -DOCS="ChangeLog DOCS/tech/*.txt"
76 -
77 -src_configure() {
78 - econf \
79 - --with-plugin-dir=/usr/$(get_libdir)/${PLUGINS_DIR} \
80 - $(use_with curl libcurl)
81 -}
82 -
83 -src_install() {
84 - default
85 - rm -rf "${ED}"/usr/share/doc/${PN}
86 -}
87
88 diff --git a/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.9.ebuild b/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.9.ebuild
89 deleted file mode 100644
90 index b0455d30902..00000000000
91 --- a/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.9.ebuild
92 +++ /dev/null
93 @@ -1,39 +0,0 @@
94 -# Copyright 1999-2015 Gentoo Foundation
95 -# Distributed under the terms of the GNU General Public License v2
96 -
97 -EAPI=5
98 -inherit multilib nsplugins
99 -
100 -DESCRIPTION="A browser plugin that uses GNOME MPlayer"
101 -HOMEPAGE="https://code.google.com/p/gecko-mediaplayer/"
102 -SRC_URI="https://${PN}.googlecode.com/svn/packages/${P}.tar.gz"
103 -
104 -LICENSE="GPL-2"
105 -SLOT="0"
106 -KEYWORDS="amd64 ~ppc ~ppc64 x86"
107 -IUSE="+curl"
108 -
109 -RDEPEND=">=dev-libs/dbus-glib-0.100
110 - >=dev-libs/glib-2.30
111 - dev-libs/nspr
112 - >=media-libs/gmtk-${PV}
113 - >=media-video/gnome-mplayer-${PV}[dbus]
114 - curl? ( net-misc/curl )"
115 -DEPEND="${RDEPEND}
116 - app-arch/xz-utils
117 - >=net-misc/npapi-sdk-0.27
118 - sys-devel/gettext
119 - virtual/pkgconfig"
120 -
121 -DOCS="ChangeLog DOCS/tech/*.txt"
122 -
123 -src_configure() {
124 - econf \
125 - --with-plugin-dir=/usr/$(get_libdir)/${PLUGINS_DIR} \
126 - $(use_with curl libcurl)
127 -}
128 -
129 -src_install() {
130 - default
131 - rm -rf "${ED}"/usr/share/doc/${PN}
132 -}
133
134 diff --git a/www-plugins/gecko-mediaplayer/metadata.xml b/www-plugins/gecko-mediaplayer/metadata.xml
135 deleted file mode 100644
136 index 4fbeeac64c9..00000000000
137 --- a/www-plugins/gecko-mediaplayer/metadata.xml
138 +++ /dev/null
139 @@ -1,10 +0,0 @@
140 -<?xml version="1.0" encoding="UTF-8"?>
141 -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
142 -<pkgmetadata>
143 - <maintainer type="project">
144 - <email>media-video@g.o</email>
145 - </maintainer>
146 - <upstream>
147 - <remote-id type="google-code">gecko-mediaplayer</remote-id>
148 - </upstream>
149 -</pkgmetadata>