From 351867a4bd720469b40e397f61448223e0bf6c41 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 18 Dec 2019 12:12:09 +0000
Subject: Update INSTALL.md with feedback from Patrick Taylor on MacOS

---
 INSTALL.md | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index 8707ecca..4beef8a5 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -16,9 +16,9 @@ OR, if you are using opam >=2.0, the syntax of the switch command changed slight
 opam switch create 4.06.1
 ```
 
-Then set up the environment for the OCaml we just installed:
+Then set up the environment for the OCaml we just installed (note that older versions of opam suggest backticks instead of `$(...)`, but it makes no difference):
 ```
-eval `opam config env` 
+eval $(opam config env)
 ```
 Add our local opam repo:
 ```
@@ -28,8 +28,9 @@ Install system dependencies, on Ubuntu:
 ```
 sudo apt-get install build-essential libgmp-dev z3
 ```
-or MacOS homebrew:
+or [MacOS homebrew](https://brew.sh/):
 ```
+xcode-select --install # if you haven't already
 brew install gmp z3 pkg-config
 ```
 Finally, install sail and its dependencies:
-- 
cgit v1.2.3