commit: a32ed97e59703c5054c093d1208ff1b9b56dab70 Author: Thomas Deutschmann <whissi <AT> gentoo <DOT> org> AuthorDate: Fri Jun 7 13:23:16 2019 +0000 Commit: Thomas Deutschmann <whissi <AT> gentoo <DOT> org> CommitDate: Fri Jun 7 14:08:07 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a32ed97e
dev-php/ming-php: add PHP 7.3 support Package-Manager: Portage-2.3.67, Repoman-2.3.14 Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org> dev-php/ming-php/ming-php-0.4.8.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-php/ming-php/ming-php-0.4.8.ebuild b/dev-php/ming-php/ming-php-0.4.8.ebuild index 656761cd0b1..91e42cafa68 100644 --- a/dev-php/ming-php/ming-php-0.4.8.ebuild +++ b/dev-php/ming-php/ming-php-0.4.8.ebuild @@ -5,7 +5,7 @@ EAPI=6 PHP_EXT_NAME=ming MY_P="${PHP_EXT_NAME}-${PV//./_}" -USE_PHP="php5-6 php7-0 php7-1 php7-2" +USE_PHP="php5-6 php7-0 php7-1 php7-2 php7-3" PHP_EXT_S="${WORKDIR}/libming-${MY_P}/php_ext" inherit flag-o-matic php-ext-source-r3