From 08610ae243804b0ee22237b7ee0ca53b24ec82d5 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sat, 12 Dec 2015 10:06:10 +0000 Subject: [PATCH] Correct incorrect information on what ``PREFIX`` is in ``README.md``. It isn't always the root of the Python install. --- README.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 4688e3d01..0795c2a40 100644 --- a/README.md +++ b/README.md @@ -38,10 +38,9 @@ Execute: By default, it will install z3 executable at ``PREFIX/bin``, libraries at ``PREFIX/lib``, and include files at ``PREFIX/include``, where ``PREFIX`` -installation prefix used for installing Python in your system. - -It is usually ``/usr`` for most Linux distros, and ``/usr/local`` for FreeBSD. -Use the following commands to install in a different prefix (e.g., /home/leo) +installation prefix if inferred by the ``mk_make.py`` script. It is usually +``/usr`` for most Linux distros, and ``/usr/local`` for FreeBSD and OSX. Use +the ``--prefix=`` command line option to change the install prefix. For example: ```bash python scripts/mk_make.py --prefix=/home/leo