Rename INSTALL_TOP to PREFIX; update documentation

Signed-off-by: Pedro Melo <melo@simplicidade.org>

diff --git a/INSTALL b/INSTALL
index 7c6635aa1a38edfd5361a481434ac2ab4b6b19c1..9bce0b2e189e5f4cce79116841e466cbf6400c25 100644 (file)
--- 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 5eeabf7471294c6f7dfa82cc0f766583b9c0e241..1f0a1fe645da1e618b9bd886abe3c1bc00cd3fa0 100644 (file)
--- 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 38007e8d94d635a194446be5670b20d62bae4096..2dc3065f255089acb265dcc76262576f895c4808 100644 (file)
--- 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