diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2019-06-07 15:23:16 +0200 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-06-07 16:08:07 +0200 |
| commit | a32ed97e59703c5054c093d1208ff1b9b56dab70 (patch) | |
| tree | 0c52060e027ebdd28efe62035b584f9599ccede8 /dev-php | |
| parent | dev-php/pecl-event: bump to v2.5.2 (diff) | |
| download | gentoo-a32ed97e59703c5054c093d1208ff1b9b56dab70.tar.gz gentoo-a32ed97e59703c5054c093d1208ff1b9b56dab70.tar.bz2 gentoo-a32ed97e59703c5054c093d1208ff1b9b56dab70.zip | |
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@gentoo.org>
Diffstat (limited to 'dev-php')
| -rw-r--r-- | dev-php/ming-php/ming-php-0.4.8.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
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 656761cd0b1d..91e42cafa688 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 |