From eb5d3927a242fd13f020023bfd97525c1e9bb378 Mon Sep 17 00:00:00 2001 From: Ben Marshall Date: Mon, 12 Oct 2020 16:24:39 +0100 Subject: [PATCH] kat-gen: needs bin/conf.sh --- tests/kat-gen/README.md | 2 ++ 1 file changed, 2 insertions(+) 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