add redis benchmark inspired by mimalloc-benchredis

redis is build using a bash script because I wasn't able to build
with make alone.
TODO: build redis using only a Makefile

1 files changed, 37 insertions, 0 deletions

diff --git a/src/benchmarks/redis/build.sh b/src/benchmarks/redis/build.sh
new file mode 100755
index 0000000..e58cb43
--- /dev/null
+++ b/src/benchmarks/redis/build.sh
@@ -0,0 +1,37 @@
+#!/bin/bash
+
+REDIS_VERSION=5.0.5
+REDIS_DIR=redis-${REDIS_VERSION}
+REDIS_ARCHIVE=${REDIS_DIR}.tar.gz
+REDIS_URL=http://download.redis.io/releases/${REDIS_ARCHIVE}
+
+if [[ $# -gt 0 ]]
+then
+	OBJDIR=$1
+else
+	OBJDIR=obj
+fi
+
+mkdir -p $OBJDIR
+cd $OBJDIR
+
+if [[ ! -d "${OBJDIR}/redis-${REDIS_VERSION}" ]]
+then
+	echo retrievinug ${REDIS_DIR}...
+	wget ${REDIS_URL}
+
+	echo extracting ${REDIS_ARCHIVE}...
+	tar xf ${REDIS_ARCHIVE}
+fi
+
+echo building ${REDIS_DIR}...
+make -C ${REDIS_DIR}
+
+echo linking redis-cli...
+ln -s -f  ${REDIS_DIR}/src/redis-cli
+
+echo linking redis-server...
+ln -s -f ${REDIS_DIR}/src/redis-server
+
+echo linking redis-benchmark...
+ln -s -f ${REDIS_DIR}/src/redis-benchmark