2020-06-15 00:00:31 +02:00
|
|
|
# Description: A PHP extension for Redis
|
|
|
|
|
# URL: https://github.com/phpredis/phpredis
|
|
|
|
|
# Maintainer: Tim Biermann, tbier at posteo dot de
|
2022-01-22 12:21:36 +01:00
|
|
|
# Depends on: liblzf php-igbinary
|
2020-06-15 00:00:31 +02:00
|
|
|
# Optional: redis
|
|
|
|
|
|
|
|
|
|
name=php-redis
|
2022-02-16 13:03:22 +01:00
|
|
|
version=5.3.7
|
2022-01-03 13:11:34 +01:00
|
|
|
release=1
|
2020-06-15 00:00:31 +02: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/
|
|
|
|
|
}
|
