[doc][prover] add doc for installing Move prover dependencies #692
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
The latest updates on your projects. Learn more about Vercel for Git ↗︎
|
rahxephon89
changed the title
rahxephon89
force-pushed
the
teng/add-prover-installation
branch
from
b2f2195
to
2a8e191
Compare
vineethk
approved these changes
Nov 4, 2024
|
|
||
| ## Installation through Aptos CLI (Recommended) | ||
|
|
||
| 1. Install the latest Aptos CLI binary. |
There was a problem hiding this comment.
Might be nice to link this text to a page with instructions to install the latest Aptos CLI binary.
| 2. Execute the command `aptos update prover-dependencies`. | ||
|
|
||
| <Callout type="info"> | ||
| Environment variable `BOOGIE_EXE` and `Z3_EXE` will be set automatically after installation. Please make sure |
There was a problem hiding this comment.
Suggested change
| Environment variable `BOOGIE_EXE` and `Z3_EXE` will be set automatically after installation. Please make sure | |
| Environment variables `BOOGIE_EXE` and `Z3_EXE` will be set automatically after installation. Please make sure |
| @@ -27,7 +41,8 @@ If you want to use the [Move Prover](../../smart-contracts/prover.mdx), install | |||
|
|
|||
| </details> | |||
|
|
|||
| 3. You can now run the Move Prover to prove an [example](https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/move-examples/hello_prover): | |||
|
|
|||
| After installation, you can now run the Move Prover to prove an [example](https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/move-examples/hello_prover): | |||
There was a problem hiding this comment.
Suggested change
| After installation, you can now run the Move Prover to prove an [example](https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/move-examples/hello_prover): | |
| After installation, you can run the Move Prover to prove an [example](https://github.com/aptos-labs/aptos-core/tree/main/aptos-move/move-examples/hello_prover): |
rahxephon89
force-pushed
the
teng/add-prover-installation
branch
from
2a8e191
to
621b352
Compare
wrwg
approved these changes
Nov 4, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
This PR updates the doc on how to install dependencies for Move prover.
Checklist
pnpm spellcheck?pnpm fmt?pnpm lint?