From 2840a5c101b53323c1cfe6d92f1f086aa65233ff Mon Sep 17 00:00:00 2001 From: Pragyansh Chaturvedi Date: Sun, 25 Jan 2026 13:31:21 +0530 Subject: [PATCH] docs: fix common issues section of quickstart --- docs/getting-started/quickstart.md | 8 ++++++++ 1 file changed, 8 insertions(+) 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