-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Simplify CLI #17
base: main
Are you sure you want to change the base?
Simplify CLI #17
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I didn't see your PR earlier, my bad! I don't understand why you removed content from the README + Geoffrey is working on something similar. Maybe we can center this PR around README changes and leave the flag changes to Geoffrey?
|
||
## Install | ||
|
||
Install dependencies. `libdw1` is required to run Stone and `wget` to download the installation script. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Why did you remove this line?
* Run, prove and verify any Cairo program | ||
* Run programs directly or with the Starknet bootloader for | ||
compatibility with the Starknet L1 verifier | ||
* Automatic generation of the prover configuration and parameters. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Why did you remove these features from the README? The CLI can do all this.
@@ -50,7 +50,7 @@ impl FromStr for Bootloader { | |||
#[command(args_conflicts_with_subcommands = true)] | |||
#[command(flatten_help = true)] | |||
pub struct ProveArgs { | |||
#[clap(long = "with-bootloader", default_value_t = false)] | |||
#[clap(long = "with-bootloader", default_value_t = true)] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Geoffrey is implementing this + adding tests. With this change you do not provide a way to disable the bootloader mode. See #18 for the suggested implementation.
No description provided.