diff options
| author | Robert Norton | 2019-12-18 12:12:09 +0000 |
|---|---|---|
| committer | GitHub | 2019-12-18 12:12:09 +0000 |
| commit | 351867a4bd720469b40e397f61448223e0bf6c41 (patch) | |
| tree | 0bf58059485985fa8975497c26f446f78c3d8216 /INSTALL.md | |
| parent | 78979a0b2aade430f90c9ef116bb684a30d8d0a8 (diff) | |
Update INSTALL.md with feedback from Patrick Taylor on MacOS
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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: |