diff --git a/tests/kat-gen/README.md b/tests/kat-gen/README.md index ab4410c9..63ac755a 100644 --- a/tests/kat-gen/README.md +++ b/tests/kat-gen/README.md @@ -70,6 +70,8 @@ Consult `sail/README.md` for instructions on building the patched version of the SAIL ISA simulator. Hopefully the `Makefile` is fairly self explanatory. +You will need to run the project setup script (`source bin/conf.sh`) +before these commands work. The main commands, assuming you are in `$REPO_HOME`, are: ```make