Add Valkey 8.0.1 and Redis 7.2.2 (#13)

romange · Oct 14, 2024 · f7a80b4 · f7a80b4
1 parent ffbc3b2
commit f7a80b4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/install_versioned_redis.sh b/install_versioned_redis.sh
@@ -2,11 +2,12 @@
 set -ex
 
 # Script to install redis from url to /bin
-# $1 - bin-name
-# $2 - url
+# $1 - source-bin-name
+# $2 - target-bin-name
+# $3 - url
 
 # download & extract
-wget "$2" -O arch.tar.gz -q
+wget "$3" -O arch.tar.gz -q
 rm -rf out
 mkdir out
 tar -xf arch.tar.gz --directory out
@@ -20,7 +21,7 @@ cd ../..
 
 # Copy binary
 mkdir -p bin
-mv $REDIS_ROOT/src/redis-server /bin/$1
+mv $REDIS_ROOT/src/$1 /bin/$2
 
 # Cleanup
 rm -rf out

diff --git a/u20.04-dev.Dockerfile b/u20.04-dev.Dockerfile
@@ -20,4 +20,6 @@ RUN update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-9 40  \
     --slave /usr/bin/g++ g++ /usr/bin/g++-9
 
 RUN /tmp/get_mold.sh
-RUN /tmp/install_versioned_redis.sh redis-server-6.2.11 https://github.com/redis/redis/archive/6.2.11.tar.gz
+RUN /tmp/install_versioned_redis.sh redis-server redis-server-6.2.11 https://github.com/redis/redis/archive/6.2.11.tar.gz
+RUN /tmp/install_versioned_redis.sh redis-server redis-server-7.2.2 https://github.com/redis/redis/archive/7.2.2.tar.gz
+RUN /tmp/install_versioned_redis.sh valkey-server valkey-server-8.0.1 https://github.com/valkey-io/valkey/archive/refs/tags/8.0.1.tar.gz