diff options
author | Juergen Daubert <jue@jue.li> | 2018-03-30 12:50:09 +0200 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2018-03-30 12:50:09 +0200 |
commit | 6a6627b71d997bc37a3aa4d1d9657a8a795eb9b2 (patch) | |
tree | c1e8b0edc259ece08c6cb8cb200de6380eb7c50d /php-mysql/Pkgfile | |
parent | 2c5a95b94a45b52ad5c3900366a6bd2e395f64d5 (diff) | |
download | opt-6a6627b71d997bc37a3aa4d1d9657a8a795eb9b2.tar.gz opt-6a6627b71d997bc37a3aa4d1d9657a8a795eb9b2.tar.xz |
php-mysql: update to 7.2.4
Diffstat (limited to 'php-mysql/Pkgfile')
-rw-r--r-- | php-mysql/Pkgfile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/php-mysql/Pkgfile b/php-mysql/Pkgfile index ecf5b4080..1a7bb5b33 100644 --- a/php-mysql/Pkgfile +++ b/php-mysql/Pkgfile @@ -4,7 +4,7 @@ # Depends on: mysql name=php-mysql -version=5.6.34 +version=7.2.4 release=1 source=(http://php.net/distributions/php-$version.tar.xz) @@ -14,7 +14,6 @@ build () { ./configure --disable-all \ --enable-pdo=shared \ --enable-mysqlnd=shared \ - --with-mysql=shared,mysqlnd \ --with-mysqli=shared,mysqlnd \ --with-pdo-mysql=shared,mysqlnd @@ -23,6 +22,6 @@ build () { install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions} install -m 755 modules/*mysql*.so $PKG/usr/lib/php/extensions - printf 'extension=%s\n' {mysqlnd,mysql,mysqli,pdo_mysql}.so \ + printf 'extension=%s\n' {mysqlnd,mysqli,pdo_mysql}.so \ > $PKG/etc/php/conf.d/mysql.ini } |