Gentoo Archives: gentoo-commits

From: Michael Orlitzky <mjo@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-php/PEAR-PHP_Shell/
Date: Wed, 08 Mar 2017 13:26:15
Message-Id: 1488978797.e0acd95810e5b68ce8246d99439cde88c702fbbd.mjo@gentoo
1 commit: e0acd95810e5b68ce8246d99439cde88c702fbbd
2 Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
3 AuthorDate: Wed Mar 8 13:12:12 2017 +0000
4 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
5 CommitDate: Wed Mar 8 13:13:17 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e0acd958
7
8 dev-php/PEAR-PHP_Shell: remove masked package.
9
10 Gentoo-Bug: 606836
11
12 dev-php/PEAR-PHP_Shell/Manifest | 1 -
13 dev-php/PEAR-PHP_Shell/PEAR-PHP_Shell-0.3.2.ebuild | 30 ----------------------
14 dev-php/PEAR-PHP_Shell/metadata.xml | 11 --------
15 3 files changed, 42 deletions(-)
16
17 diff --git a/dev-php/PEAR-PHP_Shell/Manifest b/dev-php/PEAR-PHP_Shell/Manifest
18 deleted file mode 100644
19 index 6aab774452f..00000000000
20 --- a/dev-php/PEAR-PHP_Shell/Manifest
21 +++ /dev/null
22 @@ -1 +0,0 @@
23 -DIST PHP_Shell-0.3.2.tgz 99252 SHA256 d17c4986ebb5124a056c314d08be98f6b8b23ce1859b8683f105db4be76c02b5 SHA512 aa2779c4d3d793b4658d866c58a7cf66c0536f3fa44ab8381cf889712854403af2a46a109699f52f0eba07687fa6c0f8202b3c32f9d8e9cef9568fa3d0606c33 WHIRLPOOL 1ee8a6f29f2379977c5db3a0766f6017301b42ea63190934e285cd9cdd32951a9a35cb79bb1d5bd7437b3a7ecf50845688462f79e3602bb1ad8f81ae72d4ed23
24
25 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
26 deleted file mode 100644
27 index f123654af29..00000000000
28 --- a/dev-php/PEAR-PHP_Shell/PEAR-PHP_Shell-0.3.2.ebuild
29 +++ /dev/null
30 @@ -1,30 +0,0 @@
31 -# Copyright 1999-2015 Gentoo Foundation
32 -# Distributed under the terms of the GNU General Public License v2
33 -
34 -EAPI=5
35 -
36 -inherit php-pear-r1
37 -
38 -DESCRIPTION="A shell for PHP with history and tab-completion"
39 -
40 -LICENSE="MIT"
41 -SLOT="0"
42 -KEYWORDS="~amd64 ~x86"
43 -IUSE="auto-completion"
44 -
45 -RDEPEND=">=dev-lang/php-5.3[tokenizer]
46 - auto-completion? ( dev-lang/php[readline] )"
47 -
48 -src_prepare() {
49 - # Fill in Gentoo values for placeholders
50 - sed -i -e "s~@php_bin@~${EPREFIX}/usr/bin/php~" \
51 - -e "s~@php_dir@~${EPREFIX}/usr/share/php/scripts~" "${S}/scripts/php-shell.sh" || die
52 - # Fix version value. Upstream forgot to update in code but made a release anyway
53 - sed -i "s/$version = '0.3.1'/$version = '0.3.2'/" "${S}/PHP/Shell.php" || die
54 -}
55 -
56 -src_install() {
57 - php-pear-r1_src_install
58 - dobin scripts/php-shell.sh
59 - dosym php-shell.sh /usr/bin/php-shell
60 -}
61
62 diff --git a/dev-php/PEAR-PHP_Shell/metadata.xml b/dev-php/PEAR-PHP_Shell/metadata.xml
63 deleted file mode 100644
64 index 4e49b07f84d..00000000000
65 --- a/dev-php/PEAR-PHP_Shell/metadata.xml
66 +++ /dev/null
67 @@ -1,11 +0,0 @@
68 -<?xml version="1.0" encoding="UTF-8"?>
69 -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
70 -<pkgmetadata>
71 - <maintainer type="project">
72 - <email>php-bugs@g.o</email>
73 - <name>PHP</name>
74 - </maintainer>
75 - <use>
76 - <flag name="auto-completion">Enable tab-completion</flag>
77 - </use>
78 -</pkgmetadata>