forked from wolfi-dev/os
/
php-8.1-redis.yaml
66 lines (57 loc) · 1.46 KB
/
php-8.1-redis.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
package:
name: php-8.1-redis
version: 6.0.2
epoch: 1
description: "A PHP extension for Redis"
copyright:
- license: PHP-3.01
dependencies:
runtime:
- ${{package.name}}-config
- php-8.1
- php-8.1-igbinary
provides:
- php-redis=${{package.full-version}}
environment:
contents:
packages:
- autoconf
- build-base
- busybox
- php-8.1
- php-8.1-dev
- php-8.1-igbinary-dev
pipeline:
- uses: git-checkout
with:
repository: https://github.com/phpredis/phpredis
tag: ${{package.version}}
expected-commit: 62cf943fecc5182c6329b332df43cf28012cef55
- name: Prepare build
runs: phpize
- name: Configure
runs: ./configure --enable-redis-igbinary
- uses: autoconf/make
- name: Make install
runs: |
INSTALL_ROOT="${{targets.destdir}}" DESTDIR="${{targets.destdir}}" make install
subpackages:
- name: ${{package.name}}-config
dependencies:
provides:
- php-redis-config=${{package.full-version}}
pipeline:
- runs: |
mkdir -p "${{targets.subpkgdir}}/etc/php/conf.d"
echo "extension=redis.so" > "${{targets.subpkgdir}}/etc/php/conf.d/redis.ini"
- name: ${{package.name}}-dev
description: PHP 8.1 redis development headers
dependencies:
provides:
- php-redis-dev=${{package.full-version}}
pipeline:
- uses: split/dev
update:
enabled: true
github:
identifier: phpredis/phpredis