diff --git a/docs/getting-started/quickstart.md b/docs/getting-started/quickstart.md index afd7595..2283adf 100644 --- a/docs/getting-started/quickstart.md +++ b/docs/getting-started/quickstart.md @@ -229,6 +229,14 @@ If compilation fails: * Check that `llc` is installed and in your PATH * Verify your Python syntax is correct * Ensure all imported types are from `ctypes` +* In the worst case, compile object files manually using `compile_to_ir()` and `llc` to get detailed errors + +### Verification Failure + +If verification fails: + +* Compile the object files using `compile()` function instead of loading directly +* Run `sudo check.sh check .o` to get detailed verification output ## Next Steps