diff --git a/srcpkgs/php8.1-redis/files/README.voidlinux b/srcpkgs/php8.1-redis/files/README.voidlinux new file mode 100644 index 00000000000..2a9de04b421 --- /dev/null +++ b/srcpkgs/php8.1-redis/files/README.voidlinux @@ -0,0 +1,3 @@ +To enable the Redis extension add the following line to your php.ini: + + extension=redis diff --git a/srcpkgs/php8.1-redis/template b/srcpkgs/php8.1-redis/template new file mode 100644 index 00000000000..e3be7b990c5 --- /dev/null +++ b/srcpkgs/php8.1-redis/template @@ -0,0 +1,27 @@ +# Template file for 'php8.1-redis' +pkgname=php8.1-redis +version=6.0.2 +revision=1 +build_style=gnu-configure +configure_args="--with-php-config=/usr/bin/php-config8.1" +hostmakedepends="php8.1-devel autoconf pkg-config" +makedepends="php8.1-devel" +depends="php8.1" +short_desc="PHP extension for Redis" +maintainer="Joel Beckmeyer " +license="PHP-3.01" +homepage="https://pecl.php.net/package/redis" +distfiles="https://pecl.php.net/get/redis-$version.tgz" +checksum=01aeccb0e14f897fe56f0509be6e6991ff0ad459f9d34e95e4556d02699b9a03 + +pre_configure() { + phpize8.1 +} + +pre_install() { + make_install_args="INSTALL_ROOT=$DESTDIR" +} + +post_install() { + vdoc $FILESDIR/README.voidlinux +} diff --git a/srcpkgs/php8.1-redis/update b/srcpkgs/php8.1-redis/update new file mode 100644 index 00000000000..fb47044a964 --- /dev/null +++ b/srcpkgs/php8.1-redis/update @@ -0,0 +1 @@ +pattern=')'