diff options
| author | Prashanth Mundkur | 2018-11-29 09:12:35 -0800 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-11-29 09:18:47 -0800 |
| commit | 33c8a4c616ebc9621c538b89f2d43b7404514f9a (patch) | |
| tree | 1510f6ccff595f5adfb3dd292a87f5f2a02854db /INSTALL.md | |
| parent | c9ce945c2bab025b840dc84ca67cfa2395144dae (diff) | |
Update install instructions.
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -38,11 +38,13 @@ the package manager - both should work, but we used the install script from the website. This should install OCaml 4.05. Don't forget to run ```opam init``` after installing OPAM. -We now need ocamlbuild, zarith, and menhir from OPAM. +We now need the following packages from OPAM. ``` opam install ocamlbuild +opam install num opam install zarith opam install menhir +opam install omd ``` Ott |