From e95c3e6de546933073f6526db08ea52de4be337f Mon Sep 17 00:00:00 2001 From: Joel Beckmeyer Date: Mon, 26 Jun 2023 13:16:44 -0400 Subject: [PATCH 1/3] New package: php8.1-redis-6.0.2 --- srcpkgs/php8.1-redis/INSTALL.msg | 3 +++ srcpkgs/php8.1-redis/template | 23 +++++++++++++++++++++++ srcpkgs/php8.1-redis/update | 1 + 3 files changed, 27 insertions(+) create mode 100644 srcpkgs/php8.1-redis/INSTALL.msg create mode 100644 srcpkgs/php8.1-redis/template create mode 100644 srcpkgs/php8.1-redis/update diff --git a/srcpkgs/php8.1-redis/INSTALL.msg b/srcpkgs/php8.1-redis/INSTALL.msg new file mode 100644 index 0000000000000..2a9de04b421e1 --- /dev/null +++ b/srcpkgs/php8.1-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.1-redis/template b/srcpkgs/php8.1-redis/template new file mode 100644 index 0000000000000..5084ec5b7780f --- /dev/null +++ b/srcpkgs/php8.1-redis/template @@ -0,0 +1,23 @@ +# 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" +} diff --git a/srcpkgs/php8.1-redis/update b/srcpkgs/php8.1-redis/update new file mode 100644 index 0000000000000..fb47044a964d5 --- /dev/null +++ b/srcpkgs/php8.1-redis/update @@ -0,0 +1 @@ +pattern=')' From 7bc82119c712cd7fd049aa75acb54a4301a22174 Mon Sep 17 00:00:00 2001 From: Joel Beckmeyer Date: Mon, 26 Jun 2023 13:16:47 -0400 Subject: [PATCH 2/3] New package: php8.2-redis-6.0.2 --- srcpkgs/php8.2-redis/INSTALL.msg | 3 +++ srcpkgs/php8.2-redis/template | 23 +++++++++++++++++++++++ srcpkgs/php8.2-redis/update | 1 + 3 files changed, 27 insertions(+) create mode 100644 srcpkgs/php8.2-redis/INSTALL.msg create mode 100644 srcpkgs/php8.2-redis/template create mode 100644 srcpkgs/php8.2-redis/update diff --git a/srcpkgs/php8.2-redis/INSTALL.msg b/srcpkgs/php8.2-redis/INSTALL.msg new file mode 100644 index 0000000000000..2a9de04b421e1 --- /dev/null +++ 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 new file mode 100644 index 0000000000000..c45fd14c0fcc9 --- /dev/null +++ b/srcpkgs/php8.2-redis/template @@ -0,0 +1,23 @@ +# Template file for 'php8.2-redis' +pkgname=php8.2-redis +version=6.0.2 +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 " +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.2 +} + +pre_install() { + make_install_args="INSTALL_ROOT=$DESTDIR" +} diff --git a/srcpkgs/php8.2-redis/update b/srcpkgs/php8.2-redis/update new file mode 100644 index 0000000000000..fb47044a964d5 --- /dev/null +++ b/srcpkgs/php8.2-redis/update @@ -0,0 +1 @@ +pattern=')' From 5815c1703648a0ce0171ff92bb1aa3754be09fe0 Mon Sep 17 00:00:00 2001 From: Joel Beckmeyer Date: Wed, 13 Dec 2023 08:28:55 -0500 Subject: [PATCH 3/3] New package: php8.3-redis-6.0.2 --- srcpkgs/php-redis | 1 + srcpkgs/php/template | 8 +++++++- srcpkgs/php8.3-redis/INSTALL.msg | 3 +++ srcpkgs/php8.3-redis/template | 23 +++++++++++++++++++++++ srcpkgs/php8.3-redis/update | 1 + 5 files changed, 35 insertions(+), 1 deletion(-) create mode 120000 srcpkgs/php-redis 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/php-redis b/srcpkgs/php-redis new file mode 120000 index 0000000000000..fa557ad95d0aa --- /dev/null +++ b/srcpkgs/php-redis @@ -0,0 +1 @@ +php \ No newline at end of file diff --git a/srcpkgs/php/template b/srcpkgs/php/template index 16d392f66f24c..d04d1369746fd 100644 --- a/srcpkgs/php/template +++ b/srcpkgs/php/template @@ -1,7 +1,7 @@ # Template file for 'php' pkgname=php version=8.3 -revision=1 +revision=2 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.3-redis/INSTALL.msg b/srcpkgs/php8.3-redis/INSTALL.msg new file mode 100644 index 0000000000000..2a9de04b421e1 --- /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 0000000000000..e86c03d1867a7 --- /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 " +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 0000000000000..fb47044a964d5 --- /dev/null +++ b/srcpkgs/php8.3-redis/update @@ -0,0 +1 @@ +pattern=')'