diff options
author | Chris Casinghino <ccasinghino@draper.com> | 2019-05-25 20:38:24 -0400 |
---|---|---|
committer | Chris Casinghino <ccasinghino@draper.com> | 2019-05-25 20:41:24 -0400 |
commit | c31b4fee9bd9447e3a3a4cf0843337a48edad860 (patch) | |
tree | f48a5e3abe946d278092e83ad447c10cf41a17f9 /README.md | |
parent | dd50a2d4ba7fc88a64e1aca1eea861ee53961941 (diff) | |
download | sail-riscv-c31b4fee9bd9447e3a3a4cf0843337a48edad860.zip sail-riscv-c31b4fee9bd9447e3a3a4cf0843337a48edad860.tar.gz sail-riscv-c31b4fee9bd9447e3a3a4cf0843337a48edad860.tar.bz2 |
Two small README updates.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 17 |
1 files changed, 14 insertions, 3 deletions
@@ -65,8 +65,10 @@ Coq, Isabelle and HOL4. Building the model ------------------ -Install Sail via Opam, or build Sail from source and have `SAIL_DIR` in -your environment pointing to its top-level directory. +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. ``` $ make @@ -103,7 +105,16 @@ corresponding prover libraries in the Sail directory Executing test binaries ----------------------- -The C and OCaml simulators can be used to execute small test binaries. +The C and OCaml simulators can be used to execute small test binaries. The +OCaml simulator depends on the Device Tree Compiler package, which can be +installed in Ubuntu with: + +``` +$ sudo apt-get install device-tree-compiler +``` + +Then, you can run test binaries: + ``` $ ./ocaml_emulator/riscv_ocaml_sim_<arch> <elf-file> |