diff options
author | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-07 15:55:31 +0200 |
---|---|---|
committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-07 16:08:12 +0200 |
commit | fdc645a5bab82d1ccce8243dd84d2d0dfbe989a0 (patch) | |
tree | b56d74b3659c1bdbd9159590fa5cc18b2d757ab1 /dev-php/geos-php | |
parent | dev-php/pecl-http: add PHP 7.3 support (diff) | |
download | gentoo-fdc645a5bab82d1ccce8243dd84d2d0dfbe989a0.tar.gz gentoo-fdc645a5bab82d1ccce8243dd84d2d0dfbe989a0.tar.bz2 gentoo-fdc645a5bab82d1ccce8243dd84d2d0dfbe989a0.zip |
dev-php/geos-php: add PHP 7.3 support
Package-Manager: Portage-2.3.67, Repoman-2.3.14
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'dev-php/geos-php')
-rw-r--r-- | dev-php/geos-php/geos-php-1.0.0.ebuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-php/geos-php/geos-php-1.0.0.ebuild b/dev-php/geos-php/geos-php-1.0.0.ebuild index 848afdf5d7f0..b126efe75093 100644 --- a/dev-php/geos-php/geos-php-1.0.0.ebuild +++ b/dev-php/geos-php/geos-php-1.0.0.ebuild @@ -1,12 +1,12 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2019 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 -EAPI="6" +EAPI="7" PHP_EXT_NAME="geos" PHP_EXT_INI="yes" PHP_EXT_ZENDEXT="no" -USE_PHP="php5-6 php7-0 php7-1 php7-2" +USE_PHP="php5-6 php7-0 php7-1 php7-2 php7-3" MY_PV="${PV/_/}" MY_PV="${MY_PV/rc/RC}" |