2020-06-14 22:00:31 +00:00
|
|
|
# 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
|
2020-10-23 10:43:32 +00:00
|
|
|
version=5.3.2
|
2020-07-01 08:48:34 +00:00
|
|
|
release=1
|
2020-06-14 22:00:31 +00:00
|
|
|
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/
|
|
|
|
|
}
|
