chore(book): update install.md (#303)

succinctlabs · Feb 24, 2024 · efe67d6 · efe67d6
1 parent 2fa14b4
commit efe67d6
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/book/getting-started/install.md b/book/getting-started/install.md
@@ -32,6 +32,20 @@ cargo prove --version
 
 If this works, go to the [next section](./quickstart.md) to compile and prove a simple zkVM program.
 
+### Troubleshooting
+
+If you have installed `cargo-prove` from source, it may conflict with sp1up's `cargo-prove` installation or vice versa. You can remove the `cargo-prove` that was installed from source with the following command:
+
+```bash
+rm ~/.cargo/bin/cargo-prove
+```
+
+Or, you can remove the `cargo-prove` that was installed through `sp1up`:
+
+```bash
+rm ~/.sp1/bin/cargo-prove
+```
+
 ## Option 2: Building from Source
 
 Make sure you have installed the [dependencies](https://github.com/rust-lang/rust/blob/master/INSTALL.md#dependencies) needed to build the rust toolchain from source.