Skip to content

Instantly share code, notes, and snippets.

@rduplain
Last active November 10, 2018 03:18
Show Gist options
  • Star 2 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rduplain/5420825 to your computer and use it in GitHub Desktop.
Save rduplain/5420825 to your computer and use it in GitHub Desktop.
A Makefile to download, install, and run redis-server. For @teebes.
# Call `make redis`, which runs redis binary after downloading/installing.
REDIS = redis-2.6.12
redis: bin/redis-server
# bin/redis-server path/to/redis.conf
bin/redis-server
bin/redis-server: src/$(REDIS)/src/redis-server
mkdir -p bin
cp $< $@
src/$(REDIS)/src/redis-server: src/$(REDIS)/README
cd src/$(REDIS) && make
src/$(REDIS)/README: src/$(REDIS).tar.gz
cd src && tar -xvf $(REDIS).tar.gz
@touch $@ # Ensure we do not untar every time, by updating README time.
src/$(REDIS).tar.gz:
mkdir -p src
cd src && wget http://redis.googlecode.com/files/$(REDIS).tar.gz
clean:
rm -fr bin/redis-server src/$(REDIS)*
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment