diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2019-09-04 23:28:26 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2019-09-04 23:28:26 +0200 |
| commit | 3b12daf2666c8b6026ebff1692cffb5cebfcdc43 (patch) | |
| tree | 5f38c0770835fc2c8b26c647b2475151e97d57d6 /src/benchmarks/redis/Makefile | |
| parent | af5d89da2ed99de3094d8b5db2eaf35c649fcbe7 (diff) | |
| download | allocbench-redis.tar.gz allocbench-redis.zip | |
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
Diffstat (limited to 'src/benchmarks/redis/Makefile')
| -rw-r--r-- | src/benchmarks/redis/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/benchmarks/redis/Makefile b/src/benchmarks/redis/Makefile new file mode 100644 index 0000000..de72342 --- /dev/null +++ b/src/benchmarks/redis/Makefile @@ -0,0 +1,20 @@ +OBJDIR ?= obj + +unexport CC +unexport CXX +unexport WARNFLAGS +unexport COMMONFLAGS +unexport OPTFLAGS +unexport CFLAGS +unexport CXXFLAGS +unexport LDFLAGS +unexport LDXXFLAGS + +.PHONY = all clean + +all: + @echo building redis benchmark + ./build.sh $(OBJDIR) $(REDIS_VERSION) + +clean: + rm -rf $(OBJDIR) |