diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 12:04:52 -0800 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 12:06:21 -0800 |
commit | 5eb14e672a73ae273fef660783c64d5d800b3369 (patch) | |
tree | 8bc168026cdfda5de333111cc8dc37820b9c89d0 /README.md | |
parent | 4c566ab1e18a9b2ab829fd1abeb8030f806bf1c9 (diff) | |
download | sail-riscv-5eb14e672a73ae273fef660783c64d5d800b3369.zip sail-riscv-5eb14e672a73ae273fef660783c64d5d800b3369.tar.gz sail-riscv-5eb14e672a73ae273fef660783c64d5d800b3369.tar.bz2 |
Another doc update.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -93,7 +93,10 @@ corresponding `RV32` subdirectories. The Makefile targets `riscv_isa_build`, `riscv_coq_build`, and `riscv_hol_build` invoke the respective prover to process the definitions. We have tested Isabelle 2018, Coq 8.8.1, and HOL4 -Kananaskis-12. +Kananaskis-12. When building these targets, please make sure the +corresponding prover libraries in the Sail directory +(`$SAIL_DIR/lib/$prover`) are up-to-date and built, e.g. by running +`make` in those directories. Executing test binaries ----------------------- |