php-redis: initial commit, version 5.2.2

1 files changed, 23 insertions, 0 deletions

diff --git a/php-redis/Pkgfile b/php-redis/Pkgfile
new file mode 100644
index 000000000..52be185ff
--- /dev/null
+++ b/php-redis/Pkgfile
@@ -0,0 +1,23 @@
+# Description: A PHP extension for Redis
+# URL: https://github.com/phpredis/phpredis
+# Maintainer: Tim Biermann, tbier at posteo dot de
+# Depends on: php-igbinary liblzf
+# Optional: redis
+
+name=php-redis
+version=5.2.2
+release=2
+source=(https://github.com/phpredis/phpredis/archive/$version/$name-$version.tar.gz)
+
+build() {
+  cd phpredis-$version
+  echo -e "; this extension requires igbinary to be activated as well\n;extension=redis" > "redis.ini"
+  phpize
+  ./configure --prefix=/usr \
+    --enable-redis-igbinary \
+    --enable-redis-lzf \
+    --with-liblzf=/usr/lib/
+  make
+  make INSTALL_ROOT=$PKG/ install
+  install -vDm 644 redis.ini -t $PKG/etc/php/conf.d/
+}