add another tip

Signed-off-by: John Kastner <[email protected]>
cedar-policy · Nov 19, 2024 · 2f604ca · 2f604ca
1 parent 849d84e
commit 2f604ca
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/cedar-drt/README.md b/cedar-drt/README.md
@@ -54,8 +54,9 @@ You can adjust the script's behavior using the following environment variables:
 
 If you run into weird build issues,
 1. Make sure you have run `source set_env_vars.sh`, which sets all the environment variables needed to run the Lean definitional code.
-2. Try a `cargo clean` and rebuild.
-3. If the steps above don't help, then file [an issue](https://github.com/cedar-policy/cedar-spec/issues).
+2. Make sure you have built the Lean library with `( cd ../cedar-lean && ../cedar-drt/build_lean_lib.sh )`. See the [cedar-lean README](./cedar-lean/README.md) if this command doesn't work.
+3. Try a `cargo clean` and rebuild.
+4. If the steps above don't help, then file [an issue](https://github.com/cedar-policy/cedar-spec/issues).
 
 If everything builds, but the integration tests are failing, then it may be helpful to set `RUST_BACKTRACE=1` and run `cargo test -- --nocapture` to print additional test information.