From 8e4d11a6c3e1c7b4f338a31443f07a5362ed73de Mon Sep 17 00:00:00 2001 From: Erika Heidi Date: Thu, 6 Jul 2023 18:50:42 +0200 Subject: [PATCH 1/2] Adding php-redis --- packages.txt | 1 + php-redis.yaml | 45 +++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 46 insertions(+) create mode 100644 php-redis.yaml diff --git a/packages.txt b/packages.txt index 6ca3dce2e72..0f9939c9db0 100644 --- a/packages.txt +++ b/packages.txt @@ -879,3 +879,4 @@ ell php-igbinary bluez pulseaudio +php-redis diff --git a/php-redis.yaml b/php-redis.yaml new file mode 100644 index 00000000000..5ca2809160b --- /dev/null +++ b/php-redis.yaml @@ -0,0 +1,45 @@ +package: + name: php-redis + version: 5.3.7 + epoch: 0 + description: "A PHP extension for Redis" + copyright: + - license: PHP-3.01 + dependencies: + runtime: + - php + +environment: + contents: + packages: + - build-base + - autoconf + - busybox + - php + - php-dev + - php-igbinary + +pipeline: + - uses: git-checkout + with: + repository: https://github.com/phpredis/phpredis + tag: ${{package.version}} + expected-commit: 98d64ba86f37d2d3048500461f50b05f302f36ea + + - name: Prepare build + runs: phpize + + - name: Configure + runs: ./configure --enable-redis-igbinary + + - uses: autoconf/make + + - name: Make install + runs: | + set -x + INSTALL_ROOT="${{targets.destdir}}" DESTDIR="${{targets.destdir}}" make install + +update: + enabled: true + github: + identifier: phpredis/phpredis From a993f381b3d6d32caf4e44103312b877f2e60cc0 Mon Sep 17 00:00:00 2001 From: Erika Heidi Date: Thu, 6 Jul 2023 18:52:23 +0200 Subject: [PATCH 2/2] removing debug string --- php-redis.yaml | 1 - 1 file changed, 1 deletion(-) diff --git a/php-redis.yaml b/php-redis.yaml index 5ca2809160b..c497b21999c 100644 --- a/php-redis.yaml +++ b/php-redis.yaml @@ -36,7 +36,6 @@ pipeline: - name: Make install runs: | - set -x INSTALL_ROOT="${{targets.destdir}}" DESTDIR="${{targets.destdir}}" make install update: