1 files changed, 30 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..1f209a4ca624
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,30 @@
+_phpbase=php71
+pkgname=php71-redis
+pkgver=5.0.2
+pkgrel=2
+pkgdesc="PHP extension for interfacing with Redis"
+url="http://pecl.php.net/package/redis"
+arch=('x86_64')
+license=('PHP')
+makedepends=("${_phpbase}")
+depends=("${_phpbase}")
+conflicts=('phpredis-git' 'phpredis' 'php-redis')
+backup=("etc/${_phpbase}/conf.d/redis.ini")
+source=(
+    http://pecl.php.net/get/redis-${pkgver}.tgz
+)
+
+build() {
+  cd "$srcdir/redis-$pkgver"
+  phpize71
+  ./configure --prefix=/usr --enable-redis-lzf
+  make
+}
+
+package() {
+  cd "$srcdir/redis-$pkgver"
+  make INSTALL_ROOT="$pkgdir" install
+  echo ';extension=redis.so' > redis.ini
+  install -Dm644 redis.ini "$pkgdir/etc/${_phpbase}/conf.d/redis.ini"
+}
+md5sums=('0fed05402f8eabc2030ae327df0d1e27')