add built from source binary path

kkrt-labs · Jan 17, 2025 · b2a7237 · b2a7237
1 parent 7b9fb5a
commit b2a7237
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -63,12 +63,24 @@ You can also print the proof to `stdout` with the `--print` flag.
 brainfuck_prover prove --code "++>,<[>+.<-]" --output my_program_proof.json
 ```
 
+Or if you built from source,
+
+```shell
+./target/release/brainfuck_prover prove --code "++>,<[>+.<-]" --output my_program_proof.json
+```
+
 2. Proof from program file
 
 ```shell
 brainfuck_prover prove --file my_program.bf --output my_program_proof.json
 ```
 
+Or if you built from source,
+
+```shell
+./target/release/brainfuck_prover prove --file my_program.bf --output my_program_proof.json
+```
+
 ### Verify
 
 To verify a proof, the proof must be stored in a JSON file (`--output` flag from the `prove` subcommand).