commit 4774c26d1989fc3de24e26f73b2b559ab8357137 Author: Tim Biermann <tbier@posteo.de> Date: Sun Jun 14 22:00:31 2020 +0000 php-redis: initial commit, version 5.2.2 diff --git a/php-redis/.footprint b/php-redis/.footprint new file mode 100644 index 000000000..0265c8233 --- /dev/null +++ b/php-redis/.footprint @@ -0,0 +1,9 @@ +drwxr-xr-x root/root etc/ +drwxr-xr-x root/root etc/php/ +drwxr-xr-x root/root etc/php/conf.d/ +-rw-r--r-- root/root etc/php/conf.d/redis.ini +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/lib/ +drwxr-xr-x root/root usr/lib/php/ +drwxr-xr-x root/root usr/lib/php/extensions/ +-rwxr-xr-x root/root usr/lib/php/extensions/redis.so diff --git a/php-redis/.signature b/php-redis/.signature new file mode 100644 index 000000000..eaf0bbf31 --- /dev/null +++ b/php-redis/.signature @@ -0,0 +1,5 @@ +untrusted comment: verify with /etc/ports/contrib.pub +RWSagIOpLGJF38Z7LqFHvamGA2k9/aMXJD6i66zG8d5fQWTmNhcWWfTpO6vScp/Y6CUotnI5HeD0dXBHQGEgtaqBYL5X5bKc1Ac= +SHA256 (Pkgfile) = 755dfb8be99d45691574cd750f54af9365779cf503bc7665f685ce8cd95a9d59 +SHA256 (.footprint) = 659383f9555ba6ecce269cdc4cd7e25d7cee56f341f2d65b15ed9d94e86fc535 +SHA256 (php-redis-5.2.2.tar.gz) = fe4a90c0ae5fa9752458af92c98af419d044cb4083c34cfbb567c74c2f1233bc diff --git a/php-redis/Pkgfile b/php-redis/Pkgfile new file mode 100644 index 000000000..52be185ff --- /dev/null +++ b/php-redis/Pkgfile @@ -0,0 +1,23 @@ +# 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 +version=5.2.2 +release=2 +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/ +}