From 5dd7a5c0f47adc7464da125461d32bc3e4b31ce3 Mon Sep 17 00:00:00 2001
From: Uri Blumenthal <uri@ll.mit.edu>
Date: Mon, 5 Oct 2020 17:30:28 -0400
Subject: [PATCH] Clarified and expanded comments. Made sure deprecated
 LOCAL_INSTALL_BIN still points to where it should.

---
 macport.env | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/macport.env b/macport.env
index de8b8888..76aa4cd9 100644
--- a/macport.env
+++ b/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"