diff options
author | Juergen Daubert <jue@jue.li> | 2018-03-30 12:49:11 +0200 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2018-03-30 12:49:11 +0200 |
commit | 641e8466ec1ef3364b181fa8e1a9606e5ff96dc0 (patch) | |
tree | 4886e355d114be1b74ceade15841424a8793b35b /php/Pkgfile | |
parent | 9e6ce50db040d93e0201272c521ba5a43daae55e (diff) | |
download | opt-641e8466ec1ef3364b181fa8e1a9606e5ff96dc0.tar.gz opt-641e8466ec1ef3364b181fa8e1a9606e5ff96dc0.tar.xz |
php: update to 7.2.4
Diffstat (limited to 'php/Pkgfile')
-rw-r--r-- | php/Pkgfile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/php/Pkgfile b/php/Pkgfile index c70e881ce..29182bd06 100644 --- a/php/Pkgfile +++ b/php/Pkgfile @@ -4,7 +4,7 @@ # Depends on: libpcre libxml2 curl db gdbm name=php -version=5.6.34 +version=7.2.4 release=1 source=(http://php.net/distributions/php-$version.tar.xz) @@ -12,7 +12,9 @@ build () { cd php-$version local PHP_CONFIG=" - --prefix=/usr --mandir=/usr/share/man \ + --prefix=/usr \ + --mandir=/usr/share/man \ + --localstatedir=/var \ --with-config-file-path=/etc/php \ --with-config-file-scan-dir=/etc/php/conf.d \ --with-zlib \ |