Merge pull request #53 from mouse07410/master

Make Makefile respect INSTALL_PREFIX

Makefile

@@ -7,7 +7,7 @@ ifndef ZROOT
     $(error ZROOT is undefined. Need to source env file: . ./env)
 endif
 
-INSTALL_PREFIX = /usr/local
+INSTALL_PREFIX ?= /usr/local
 
 docs:
 	$(MAKE) -C docs

macport.env

@@ -6,7 +6,8 @@
 #     $ source macport.emv
 #     $ make && make test
 #
-# To install, do (after making sure "LOCAL_INSTALL_BIN" points where ypu want it to):
+# To install, do (after making sure "INSTALL_PREFIX" (and "LOCAL_INSTALL_BIN") point
+# where you want the process to install the binaries):
 #
 #     $ sudo -EH make install
 #
@@ -41,3 +42,6 @@ export ZROOT="${PWD}"
 # Where to install "openabe" (following sets it to where Macports
 # installs binaries):
 export INSTALL_PREFIX="/opt/local"
+# Even though LOCAL_INSTALL_BIN seems deprecated now, make sure
+# it points at the correct place
+export LOCAL_INSTALL_BIN="${INSTALL_PREFIX}/bin"