New package: php8.2-redis-5.3.7

void-linux · Sep 27, 2023 · 770503c · 770503c
1 parent a2280ea
commit 770503c
Show file tree

Hide file tree

Showing 5 changed files with 35 additions and 1 deletion.
diff --git a/srcpkgs/php-redis b/srcpkgs/php-redis
@@ -0,0 +1 @@
+php
diff --git a/srcpkgs/php/template b/srcpkgs/php/template
@@ -1,7 +1,7 @@
 # Template file for 'php'
 pkgname=php
 version=8.2
-revision=2
+revision=3
 build_style=meta
 depends="php${version}"
 short_desc="Meta package for PHP"
@@ -161,6 +161,12 @@ php-mongodb_package() {
 	short_desc="PHP MongoDB driver meta package"
 }
 
+php-redis_package() {
+	depends="php${version}-redis"
+	build_style=meta
+	short_desc="PHP Redis extension meta package"
+}
+
 xdebug_package() {
 	depends="xdebug${version}"
 	build_style=meta

diff --git a/srcpkgs/php8.2-redis/INSTALL.msg b/srcpkgs/php8.2-redis/INSTALL.msg
@@ -0,0 +1,3 @@
+To enable the Redis extension add the following line to your php.ini:
+
+	extension=redis
diff --git a/srcpkgs/php8.2-redis/template b/srcpkgs/php8.2-redis/template
@@ -0,0 +1,23 @@
+# Template file for 'php8.2-redis'
+pkgname=php8.2-redis
+version=5.3.7
+revision=1
+build_style=gnu-configure
+configure_args="--with-php-config=/usr/bin/php-config8.2"
+hostmakedepends="php8.2-devel autoconf pkg-config"
+makedepends="php8.2-devel"
+depends="php8.2"
+short_desc="PHP extension for Redis"
+maintainer="Joel Beckmeyer <[email protected]>"
+license="PHP-3.01"
+homepage="https://pecl.php.net/package/redis"
+distfiles="https://pecl.php.net/get/redis-$version.tgz"
+checksum=b958166ccda4f40bd17c6998f9e2239021ae644467cd8ad5c15def420aad65b0
+
+pre_configure() {
+	phpize8.2
+}
+
+pre_install() {
+	make_install_args="INSTALL_ROOT=$DESTDIR"
+}
diff --git a/srcpkgs/php8.2-redis/update b/srcpkgs/php8.2-redis/update
@@ -0,0 +1 @@
+pattern='<th.*Release \K[\d.]+(?=:</th>)'
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		To enable the Redis extension add the following line to your php.ini:

		extension=redis