diff options
| -rw-r--r-- | profiles/package.mask | 1 | ||||
| -rw-r--r-- | www-plugins/gecko-mediaplayer/Manifest | 2 | ||||
| -rw-r--r-- | www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.8.ebuild | 39 | ||||
| -rw-r--r-- | www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.9.ebuild | 39 | ||||
| -rw-r--r-- | www-plugins/gecko-mediaplayer/metadata.xml | 10 |
5 files changed, 0 insertions, 91 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 57c24cf2bef6..b291d12d7704 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -175,7 +175,6 @@ media-libs/libptp2 # Dead for years, last package depending on old musicbrainz:3 (#629392). # Removal in a month. media-video/gnome-mplayer -www-plugins/gecko-mediaplayer # Pacho Ramos <pacho@gentoo.org> (11 Nov 2018) # Fails to build (#662000), not compatible with kernel-4, use kernel driver rtsx_pci diff --git a/www-plugins/gecko-mediaplayer/Manifest b/www-plugins/gecko-mediaplayer/Manifest deleted file mode 100644 index e4af44d27bcd..000000000000 --- a/www-plugins/gecko-mediaplayer/Manifest +++ /dev/null @@ -1,2 +0,0 @@ -DIST gecko-mediaplayer-1.0.8.tar.gz 269970 BLAKE2B 9dea88fc6c69360db1ed7e47178c27d6d2e0315159314a425dcb1d4f490f22df20faf8846af1080ede3e8f62369c450dba8455b44ae7e866a71c26fac13a9e7a SHA512 a66d286e668dbe1bbbbf42bbf68bd35bda68db73e7a30674f2cd87850e17a8c27ecf9ae3f32c3024fcca31174e3c5ef88da668b11a5cc3641824fae8c9367962 -DIST gecko-mediaplayer-1.0.9.tar.gz 271917 BLAKE2B 707aa669acd3881e2318e153aba975de962a5137f5f2df4119eb1008c0dfb029de9219f4a3c6478aef9b94e48286ebf9fd6328f9d850eaf3f229acc56c48a899 SHA512 64624726e2c668085455a7eaaf82f4d7f4c962212789284b2c652fc93b3a9c9e8ad6c3f7f4c887487b68870e867678dd47201bb9495de863a05e0e1e9b7f2a74 diff --git a/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.8.ebuild b/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.8.ebuild deleted file mode 100644 index 0adfd37707b6..000000000000 --- a/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.8.ebuild +++ /dev/null @@ -1,39 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 -inherit multilib nsplugins - -DESCRIPTION="A browser plugin that uses GNOME MPlayer" -HOMEPAGE="https://code.google.com/p/gecko-mediaplayer/" -SRC_URI="https://${PN}.googlecode.com/files/${P}.tar.gz" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="amd64 ~ppc ~ppc64 x86" -IUSE="+curl" - -RDEPEND=">=dev-libs/dbus-glib-0.100 - >=dev-libs/glib-2.30 - dev-libs/nspr - >=media-libs/gmtk-${PV} - >=media-video/gnome-mplayer-${PV}[dbus] - curl? ( net-misc/curl )" -DEPEND="${RDEPEND} - app-arch/xz-utils - >=net-misc/npapi-sdk-0.27 - sys-devel/gettext - virtual/pkgconfig" - -DOCS="ChangeLog DOCS/tech/*.txt" - -src_configure() { - econf \ - --with-plugin-dir=/usr/$(get_libdir)/${PLUGINS_DIR} \ - $(use_with curl libcurl) -} - -src_install() { - default - rm -rf "${ED}"/usr/share/doc/${PN} -} diff --git a/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.9.ebuild b/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.9.ebuild deleted file mode 100644 index b0455d30902e..000000000000 --- a/www-plugins/gecko-mediaplayer/gecko-mediaplayer-1.0.9.ebuild +++ /dev/null @@ -1,39 +0,0 @@ -# Copyright 1999-2015 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 -inherit multilib nsplugins - -DESCRIPTION="A browser plugin that uses GNOME MPlayer" -HOMEPAGE="https://code.google.com/p/gecko-mediaplayer/" -SRC_URI="https://${PN}.googlecode.com/svn/packages/${P}.tar.gz" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="amd64 ~ppc ~ppc64 x86" -IUSE="+curl" - -RDEPEND=">=dev-libs/dbus-glib-0.100 - >=dev-libs/glib-2.30 - dev-libs/nspr - >=media-libs/gmtk-${PV} - >=media-video/gnome-mplayer-${PV}[dbus] - curl? ( net-misc/curl )" -DEPEND="${RDEPEND} - app-arch/xz-utils - >=net-misc/npapi-sdk-0.27 - sys-devel/gettext - virtual/pkgconfig" - -DOCS="ChangeLog DOCS/tech/*.txt" - -src_configure() { - econf \ - --with-plugin-dir=/usr/$(get_libdir)/${PLUGINS_DIR} \ - $(use_with curl libcurl) -} - -src_install() { - default - rm -rf "${ED}"/usr/share/doc/${PN} -} diff --git a/www-plugins/gecko-mediaplayer/metadata.xml b/www-plugins/gecko-mediaplayer/metadata.xml deleted file mode 100644 index 4fbeeac64c9b..000000000000 --- a/www-plugins/gecko-mediaplayer/metadata.xml +++ /dev/null @@ -1,10 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>media-video@gentoo.org</email> - </maintainer> - <upstream> - <remote-id type="google-code">gecko-mediaplayer</remote-id> - </upstream> -</pkgmetadata> |