diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2017-03-08 08:12:12 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2017-03-08 08:13:17 -0500 |
| commit | e0acd95810e5b68ce8246d99439cde88c702fbbd (patch) | |
| tree | 0ed94f1aa40cb8c305b30057f3d3ff877b7b4847 | |
| parent | net-analyzer/nagios-core: remove vulnerable 4.x versions. (diff) | |
| download | gentoo-e0acd95810e5b68ce8246d99439cde88c702fbbd.tar.gz gentoo-e0acd95810e5b68ce8246d99439cde88c702fbbd.tar.bz2 gentoo-e0acd95810e5b68ce8246d99439cde88c702fbbd.zip | |
dev-php/PEAR-PHP_Shell: remove masked package.
Gentoo-Bug: 606836
| -rw-r--r-- | dev-php/PEAR-PHP_Shell/Manifest | 1 | ||||
| -rw-r--r-- | dev-php/PEAR-PHP_Shell/PEAR-PHP_Shell-0.3.2.ebuild | 30 | ||||
| -rw-r--r-- | dev-php/PEAR-PHP_Shell/metadata.xml | 11 |
3 files changed, 0 insertions, 42 deletions
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 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>php-bugs@gentoo.org</email> - <name>PHP</name> - </maintainer> - <use> - <flag name="auto-completion">Enable tab-completion</flag> - </use> -</pkgmetadata> |