php-redis/Pkgfile



    1 # Description: A PHP extension for Redis
    2 # URL: https://github.com/phpredis/phpredis
    3 # Maintainer: Tim Biermann, tbier at posteo dot de
    4 # Depends on: php-igbinary liblzf
    5 # Optional: redis
    6 
    7 name=php-redis
    8 version=5.3.4
    9 release=3
   10 source=(https://github.com/phpredis/phpredis/archive/$version/$name-$version.tar.gz)
   11 
   12 build() {
   13   cd phpredis-$version
   14   echo -e "; this extension requires igbinary to be activated as well\n;extension=redis" > "redis.ini"
   15   phpize
   16   ./configure --prefix=/usr \
   17     --enable-redis-igbinary \
   18     --enable-redis-lzf \
   19     --with-liblzf=/usr/lib/
   20   make
   21   make INSTALL_ROOT=$PKG/ install
   22   install -vDm 644 redis.ini -t $PKG/etc/php/conf.d/
   23 }