From ffd617f6b260a0201cde9d69e69a498255a7fc7d Mon Sep 17 00:00:00 2001 From: Pedro Melo Date: Mon, 13 Sep 2010 16:09:11 +0100 Subject: [PATCH] Rename INSTALL_TOP to PREFIX; update documentation Signed-off-by: Pedro Melo --- INSTALL | 13 ++++++++++++- README | 3 ++- src/Makefile | 2 +- 3 files changed, 15 insertions(+), 3 deletions(-) diff --git a/INSTALL b/INSTALL index 7c6635aa1..9bce0b2e1 100644 --- a/INSTALL +++ b/INSTALL @@ -3,7 +3,18 @@ To compile Redis, do the following: cd src; make The compilation will produce a redis-server binary. -Copy this file where you want. + +To install Redis, use + + make install + +and all the binaries will be installed on /usr/local/bin. + +Alternatively: + + make PREFIX=/some/other/directory + +to have the binaries in /some/other/directory/bin. Run the server using the following command line: diff --git a/README b/README index 5eeabf747..1f0a1fe64 100644 --- a/README +++ b/README @@ -16,7 +16,8 @@ It is as simple as: Redis is just a single binary, but if you want to install it you can use the "make install" target that will copy the binary in /usr/local/bin -for default. +for default. You can also use "make PREFIX=/some/other/directory install" +if you wish to use a different destination. You can run a 32 bit Redis binary using: diff --git a/src/Makefile b/src/Makefile index 38007e8d9..2dc3065f2 100644 --- a/src/Makefile +++ b/src/Makefile @@ -15,7 +15,7 @@ endif CCOPT= $(CFLAGS) $(CCLINK) $(ARCH) $(PROF) DEBUG?= -g -rdynamic -ggdb -INSTALL_TOP= /usr/local +PREFIX= /usr/local INSTALL_BIN= $(INSTALL_TOP)/bin INSTALL= cp -p