diff options
| author | Tim Biermann <tbier@posteo.de> | 2020-06-14 22:00:31 +0000 |
|---|---|---|
| committer | Tim Biermann <tbier@posteo.de> | 2020-06-15 09:44:01 +0000 |
| commit | 4774c26d1989fc3de24e26f73b2b559ab8357137 (patch) | |
| tree | b4b1dddadbd4489066f2e510722de61b00fece71 /php-redis | |
| parent | 22ea9a865a5ca05fe362fbe6b9dd388b95d223c7 (diff) | |
| download | contrib-4774c26d1989fc3de24e26f73b2b559ab8357137.tar.gz contrib-4774c26d1989fc3de24e26f73b2b559ab8357137.tar.xz | |
php-redis: initial commit, version 5.2.2
Diffstat (limited to 'php-redis')
| -rw-r--r-- | php-redis/.footprint | 9 | ||||
| -rw-r--r-- | php-redis/.signature | 5 | ||||
| -rw-r--r-- | php-redis/Pkgfile | 23 |
3 files changed, 37 insertions, 0 deletions
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/ +} |