diff options
| author | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2020-06-18 11:41:23 +0100 |
|---|---|---|
| committer | pes20 <Peter.Sewell@cl.cam.ac.uk> | 2020-06-18 11:41:23 +0100 |
| commit | 2ae02a095ac9fc7947e7e2019ecb78af257d81d6 (patch) | |
| tree | b9c514cc443f354854fbd3c0d2c04fca56ed5d1e /README.md | |
| parent | 38802668fa7eeecf4dd0c67481c4271281becffa (diff) | |
| download | sail-riscv-2ae02a095ac9fc7947e7e2019ecb78af257d81d6.zip sail-riscv-2ae02a095ac9fc7947e7e2019ecb78af257d81d6.tar.gz sail-riscv-2ae02a095ac9fc7947e7e2019ecb78af257d81d6.tar.bz2 | |
add Nikhil to authors; update install instructions
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -68,10 +68,9 @@ Coq, Isabelle and HOL4. Building the model ------------------ -Install Sail [via -Opam](https://github.com/rems-project/sail/wiki/OPAMInstall), or build Sail -from source and have `SAIL_DIR` in your environment pointing to its -top-level directory. +Install [Sail](https://github.com/rems-project/sail/), either via opam +or by or building Sail from source and setting `SAIL_DIR` in your +environment pointing to its top-level directory. ``` $ make |