diff options
| -rw-r--r-- | .SRCINFO | 23 | ||||
| -rw-r--r-- | PKGBUILD | 50 |
2 files changed, 73 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..6d19b2a920e2 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,23 @@ +pkgbase = php71-redis-noconflict + pkgdesc = PHP extension for interfacing with Redis + pkgver = 4.1.1 + pkgrel = 1 + url = http://pecl.php.net/package/redis + arch = x86_64 + arch = i686 + arch = armv7h + arch = aarch64 + license = PHP + makedepends = php>=7.0.0 + makedepends = php-igbinary + makedepends = php71-noconflict + depends = php>=7.0.0 + depends = php-igbinary + depends = php71-noconflict + conflicts = phpredis-git + backup = etc/php71/conf.d/redis.ini + source = http://pecl.php.net/get/redis-4.1.1.tgz + sha256sums = e407583431386d82307c4bef5dedafe50ad2f0288501b9922fb31b5b700bc9dc + +pkgname = php71-redis-noconflict + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..a6ed0a5516df --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,50 @@ +# Maintainer: Alex "grevus" Lobtsov <alex@lobtsov.com> +# Maintainer: Kai Korla <balticer@balticer.de> +# Maintainer: Pedro Junior <pedro@sysnet.net.br> +pkgname=php71-redis-noconflict +pkgver=4.1.1 +pkgrel=1 +pkgdesc="PHP extension for interfacing with Redis" +url="http://pecl.php.net/package/redis" +arch=('x86_64' 'i686' 'armv7h' 'aarch64') +license=('PHP') +makedepends=( + 'php>=7.0.0' + 'php-igbinary' + 'php71-noconflict' +) +depends=( + 'php>=7.0.0' + 'php-igbinary' + 'php71-noconflict' +) +conflicts=( + 'phpredis-git' +) +backup=('etc/php71/conf.d/redis.ini') + +source=( + http://pecl.php.net/get/redis-${pkgver}.tgz +) + +sha256sums=('e407583431386d82307c4bef5dedafe50ad2f0288501b9922fb31b5b700bc9dc') + +build() { + cd "$srcdir/redis-$pkgver" + + /usr/bin/phpize71 + ./configure \ + --prefix=/usr \ + --libdir=/usr/lib/php71 \ + --enable-redis-igbinary \ + --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/php71/conf.d/redis.ini" +} |