# Description: A PHP extension for Redis
# URL: https://github.com/phpredis/phpredis
# Maintainer: Tim Biermann, tbier at posteo dot de
# Depends on: liblzf php-igbinary
# Optional: redis valkey

name=php-redis
version=6.3.0
release=1
source=(https://github.com/phpredis/phpredis/archive/refs/tags/$version.tar.gz)
renames=($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/
}