diff options
author | Juergen Daubert <jue@jue.li> | 2020-02-15 14:01:02 +0100 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2020-02-15 14:01:02 +0100 |
commit | ca4677b1e1abdc3dc113f4212a738396324414b1 (patch) | |
tree | 3aabd9af0457f90762c4e99aeb6637b826d768e4 /php-zip/Pkgfile | |
parent | a0314de6b38b2fa76cef4b8e540f3cf5b8482166 (diff) | |
download | opt-ca4677b1e1abdc3dc113f4212a738396324414b1.tar.gz opt-ca4677b1e1abdc3dc113f4212a738396324414b1.tar.xz |
php-zip: initial release, version 7.4.2
Diffstat (limited to 'php-zip/Pkgfile')
-rw-r--r-- | php-zip/Pkgfile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/php-zip/Pkgfile b/php-zip/Pkgfile new file mode 100644 index 000000000..da5501d1b --- /dev/null +++ b/php-zip/Pkgfile @@ -0,0 +1,21 @@ +# Description: Zip module for PHP +# URL: http://www.php.net +# Maintainer: Juergen Daubert, jue at crux dot nu +# Depends on: libzip + +name=php-zip +version=7.4.2 +release=1 +source=(http://www.php.net/distributions/php-$version.tar.xz) + +build() { + cd php-$version + + ./configure --disable-all --with-zip=shared,/usr + make build-modules + + install -d $PKG/{etc/php/conf.d,usr/lib/php/extensions} + install -m 755 modules/zip.so $PKG/usr/lib/php/extensions/ + + printf 'extension=%s\n' zip.so > $PKG/etc/php/conf.d/zip.ini +} |