2023-01-09 15:52:09 +03:00
|
|
|
distributable:
|
|
|
|
url: https://download.redis.io/releases/redis-{{ version }}.tar.gz
|
|
|
|
strip-components: 1
|
|
|
|
|
|
|
|
versions:
|
|
|
|
github: redis/redis
|
|
|
|
|
|
|
|
|
|
|
|
provides:
|
|
|
|
- bin/redis-server
|
2023-01-11 13:51:42 +03:00
|
|
|
- bin/redis-cli
|
|
|
|
- bin/redis-benchmark
|
2023-01-09 15:52:09 +03:00
|
|
|
|
|
|
|
dependencies:
|
|
|
|
openssl.org: ^1
|
|
|
|
|
|
|
|
build:
|
|
|
|
dependencies:
|
|
|
|
freedesktop.org/pkg-config: '>=0.29'
|
|
|
|
script:
|
|
|
|
make install
|
2023-01-11 13:51:42 +03:00
|
|
|
# TODO: configure default redis.conf if necessary
|
2023-01-13 02:55:19 +03:00
|
|
|
env:
|
|
|
|
PREFIX: ${{prefix}}
|
|
|
|
BUILD_TLS: yes
|
2023-03-05 03:37:58 +03:00
|
|
|
linux/x86-64:
|
|
|
|
CFLAGS: -fPIC
|
|
|
|
CXXFLAGS: -fPIC
|
|
|
|
LDFLAGS: -pie
|
|
|
|
|
2023-01-09 15:52:09 +03:00
|
|
|
test:
|
|
|
|
script: |
|
2023-01-13 02:55:19 +03:00
|
|
|
redis-server --daemonize yes
|
|
|
|
redis-cli --raw SET key123 value123
|
|
|
|
|
2023-01-13 03:08:57 +03:00
|
|
|
test "$(redis-cli --raw GET key123)" = "value123"
|
2023-01-13 02:55:19 +03:00
|
|
|
|
2023-01-13 03:08:57 +03:00
|
|
|
redis-cli shutdown
|