From 9d160cb016f54b70792b0ad13ddafa38d12ed115 Mon Sep 17 00:00:00 2001
From: Joel Beckmeyer <joel@beckmeyer.us>
Date: Wed, 13 Dec 2023 08:28:55 -0500
Subject: [PATCH] New package: php8.3-redis-6.0.2

---
 srcpkgs/php8.3-redis/INSTALL.msg |  3 +++
 srcpkgs/php8.3-redis/template    | 23 +++++++++++++++++++++++
 srcpkgs/php8.3-redis/update      |  1 +
 3 files changed, 27 insertions(+)
 create mode 100644 srcpkgs/php8.3-redis/INSTALL.msg
 create mode 100644 srcpkgs/php8.3-redis/template
 create mode 100644 srcpkgs/php8.3-redis/update

diff --git a/srcpkgs/php8.3-redis/INSTALL.msg b/srcpkgs/php8.3-redis/INSTALL.msg
new file mode 100644
index 00000000000000..2a9de04b421e15
--- /dev/null
+++ b/srcpkgs/php8.3-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.3-redis/template b/srcpkgs/php8.3-redis/template
new file mode 100644
index 00000000000000..e86c03d1867a75
--- /dev/null
+++ b/srcpkgs/php8.3-redis/template
@@ -0,0 +1,23 @@
+# Template file for 'php8.3-redis'
+pkgname=php8.3-redis
+version=6.0.2
+revision=1
+build_style=gnu-configure
+configure_args="--with-php-config=/usr/bin/php-config8.3"
+hostmakedepends="php8.3-devel autoconf pkg-config"
+makedepends="php8.3-devel"
+depends="php8.3"
+short_desc="PHP extension for Redis"
+maintainer="Joel Beckmeyer <joel@beckmeyer.us>"
+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.3
+}
+
+pre_install() {
+	make_install_args="INSTALL_ROOT=$DESTDIR"
+}
diff --git a/srcpkgs/php8.3-redis/update b/srcpkgs/php8.3-redis/update
new file mode 100644
index 00000000000000..fb47044a964d56
--- /dev/null
+++ b/srcpkgs/php8.3-redis/update
@@ -0,0 +1 @@
+pattern='<th.*Release \K[\d.]+(?=:</th>)'