Merge pull request #108 from getneil/redis.io

+redis.io
This commit is contained in:
Neil 2023-01-13 08:19:54 +08:00 committed by GitHub
commit 7a80aba1a2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -0,0 +1,40 @@
distributable:
url: https://download.redis.io/releases/redis-{{ version }}.tar.gz
strip-components: 1
versions:
github: redis/redis
provides:
- bin/redis-server
- bin/redis-cli
- bin/redis-benchmark
dependencies:
openssl.org: ^1
build:
cores: 2
dependencies:
tea.xyz/gx/make: '*'
freedesktop.org/pkg-config: '>=0.29'
tea.xyz/gx/cc: c99
script:
make install
# TODO: configure default redis.conf if necessary
env:
PREFIX: ${{prefix}}
BUILD_TLS: yes
test:
script: |
redis-server --test-memory 2
redis-cli --version
redis-benchmark --version
redis-server --daemonize yes
redis-cli --raw SET key123 value123
test "$(redis-cli --raw GET key123)" = "value123"
redis-cli shutdown