diff options
author | Pedro Junior | 2018-08-28 00:02:56 -0300 |
---|---|---|
committer | Pedro Junior | 2018-08-28 00:02:56 -0300 |
commit | 946d883151a3e0180f1a451ac256da2b64604613 (patch) | |
tree | d4879615028f4d8665d3004e079b73d71d122a70 /PKGBUILD | |
download | aur-php71-redis-noconflict.tar.gz |
Initial commit
Signed-off-by: Pedro Junior <vjuniorv@gmail.com>
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 50 |
1 files changed, 50 insertions, 0 deletions
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" +} |