dev-php/PHP_Shell-0.3.1.ebuild

PHP_Shell-0.3.1.ebuild (text/plain), 780 bytes, created by Lars Strojny on 2007-12-22 17:12:08 UTC

# Copyright 1999-2007 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

inherit php-pear-lib-r1

DESCRIPTION="A shell for PHP with history and tab-completion"
HOMEPAGE="http://jan.kneschke.de/projects/php-shell/"
SRC_URI="http://jan.kneschke.de/assets/2007/2/17/${P}.tgz"

LICENSE="PHP"
SLOT="0"
KEYWORDS="~amd64"
IUSE=""

pkg_setup() {
	has_php
	require_php_with_use tokenizer spl pcre
}

src_install() {
	mv scripts/php-shell.sh scripts/php-shell || die "Could not move"
	sed -e "s:php-shell.sh:php-shell:g" -i ../package.xml || die
	php-pear-lib-r1_src_install
}

pkg_postinst() {
	has_php
	elog "${PN} provides auto-completion when readline support is "
	elog "enabled for PHP. Recompile dev-lang/php with USE=\"readline\"."
}