diff options
author | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-07 15:31:20 +0200 |
---|---|---|
committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-07 16:08:09 +0200 |
commit | 6e0403438f01778346ebaea3ad14b3f80a39f777 (patch) | |
tree | cbea0fe02725eb24f4df0a144b26b141d2ba04a6 /dev-php | |
parent | dev-php/pecl-ps: add PHP 7.3 support (diff) | |
download | gentoo-6e0403438f01778346ebaea3ad14b3f80a39f777.tar.gz gentoo-6e0403438f01778346ebaea3ad14b3f80a39f777.tar.bz2 gentoo-6e0403438f01778346ebaea3ad14b3f80a39f777.zip |
dev-php/pecl-dio: 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')
-rw-r--r-- | dev-php/pecl-dio/pecl-dio-0.1.0-r1.ebuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dev-php/pecl-dio/pecl-dio-0.1.0-r1.ebuild b/dev-php/pecl-dio/pecl-dio-0.1.0-r1.ebuild index 113db6ef9fb0..323457f98765 100644 --- a/dev-php/pecl-dio/pecl-dio-0.1.0-r1.ebuild +++ b/dev-php/pecl-dio/pecl-dio-0.1.0-r1.ebuild @@ -1,13 +1,13 @@ -# 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="dio" PHP_EXT_INI="yes" PHP_EXT_ZENDEXT="no" -USE_PHP="php5-6 php7-0 php7-1 php7-2" +USE_PHP="php5-6 php7-1 php7-2 php7-3" MY_PV=${PV/_rc/RC} PHP_EXT_S="${WORKDIR}/${PN/pecl-/}-${MY_PV}" |