summaryrefslogtreecommitdiff
path: root/php-zip/Pkgfile
diff options
context:
space:
mode:
authorJuergen Daubert <jue@jue.li>2020-02-15 14:01:02 +0100
committerJuergen Daubert <jue@jue.li>2020-02-15 14:01:02 +0100
commitca4677b1e1abdc3dc113f4212a738396324414b1 (patch)
tree3aabd9af0457f90762c4e99aeb6637b826d768e4 /php-zip/Pkgfile
parenta0314de6b38b2fa76cef4b8e540f3cf5b8482166 (diff)
downloadopt-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/Pkgfile21
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
+}

Generated by cgit