From e0acd95810e5b68ce8246d99439cde88c702fbbd Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Wed, 8 Mar 2017 08:12:12 -0500 Subject: [PATCH] dev-php/PEAR-PHP_Shell: remove masked package. Gentoo-Bug: 606836 --- dev-php/PEAR-PHP_Shell/Manifest | 1 - .../PEAR-PHP_Shell-0.3.2.ebuild | 30 ------------------- dev-php/PEAR-PHP_Shell/metadata.xml | 11 ------- 3 files changed, 42 deletions(-) delete mode 100644 dev-php/PEAR-PHP_Shell/Manifest delete mode 100644 dev-php/PEAR-PHP_Shell/PEAR-PHP_Shell-0.3.2.ebuild delete mode 100644 dev-php/PEAR-PHP_Shell/metadata.xml diff --git a/dev-php/PEAR-PHP_Shell/Manifest b/dev-php/PEAR-PHP_Shell/Manifest deleted file mode 100644 index 6aab774452ff..000000000000 --- 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 f123654af292..000000000000 --- 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 4e49b07f84d4..000000000000 --- a/dev-php/PEAR-PHP_Shell/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - php-bugs@gentoo.org - PHP - - - Enable tab-completion - - -- 2.26.2