commit: e0acd95810e5b68ce8246d99439cde88c702fbbd
Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Wed Mar 8 13:12:12 2017 +0000
Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Wed Mar 8 13:13:17 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e0acd958
dev-php/PEAR-PHP_Shell: remove masked package.
Gentoo-Bug: 606836
dev-php/PEAR-PHP_Shell/Manifest | 1 -
dev-php/PEAR-PHP_Shell/PEAR-PHP_Shell-0.3.2.ebuild | 30 ----------------------
dev-php/PEAR-PHP_Shell/metadata.xml | 11 --------
3 files changed, 42 deletions(-)
diff --git a/dev-php/PEAR-PHP_Shell/Manifest b/dev-php/PEAR-PHP_Shell/Manifest
deleted file mode 100644
index 6aab774452f..00000000000
--- a/dev-php/PEAR-PHP_Shell/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST PHP_Shell-0.3.2.tgz 99252 SHA256
d17c4986ebb5124a056c314d08be98f6b8b23ce1859b8683f105db4be76c02b5 SHA512
aa2779c4d3d793b4658d866c58a7cf66c0536f3fa44ab8381cf889712854403af2a46a109699f52f0eba07687fa6c0f8202b3c32f9d8e9cef9568fa3d0606c33
WHIRLPOOL
1ee8a6f29f2379977c5db3a0766f6017301b42ea63190934e285cd9cdd32951a9a35cb79bb1d5bd7437b3a7ecf50845688462f79e3602bb1ad8f81ae72d4ed23
diff --git a/dev-php/PEAR-PHP_Shell/PEAR-PHP_Shell-0.3.2.ebuild
b/dev-php/PEAR-PHP_Shell/PEAR-PHP_Shell-0.3.2.ebuild
deleted file mode 100644
index f123654af29..00000000000
--- a/dev-php/PEAR-PHP_Shell/PEAR-PHP_Shell-0.3.2.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit php-pear-r1
-
-DESCRIPTION="A shell for PHP with history and tab-completion"
-
-LICENSE="MIT"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-IUSE="auto-completion"
-
-RDEPEND=">=dev-lang/php-5.3[tokenizer]
- auto-completion? ( dev-lang/php[readline] )"
-
-src_prepare() {
- # Fill in Gentoo values for placeholders
- sed -i -e "s~@php_bin@~${EPREFIX}/usr/bin/php~" \
- -e "s~@php_dir@~${EPREFIX}/usr/share/php/scripts~"
"${S}/scripts/php-shell.sh" || die
- # Fix version value. Upstream forgot to update in code but made a
release anyway
- sed -i "s/$version = '0.3.1'/$version = '0.3.2'/" "${S}/PHP/Shell.php"
|| die
-}
-
-src_install() {
- php-pear-r1_src_install
- dobin scripts/php-shell.sh
- dosym php-shell.sh /usr/bin/php-shell
-}
diff --git a/dev-php/PEAR-PHP_Shell/metadata.xml
b/dev-php/PEAR-PHP_Shell/metadata.xml
deleted file mode 100644
index 4e49b07f84d..00000000000
--- a/dev-php/PEAR-PHP_Shell/metadata.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";>
-<pkgmetadata>
- <maintainer type="project">
- <email>[email protected]</email>
- <name>PHP</name>
- </maintainer>
- <use>
- <flag name="auto-completion">Enable tab-completion</flag>
- </use>
-</pkgmetadata>
