[Feature Request] simplify dev_setup script
Open
enhancement
good first issue
- Dominant language
- Rust
- Stars
- 378
- Forks
- 137
- PR merge metrics
- No merged PRs in 30d
Description
The dev_setup script installs many things (terraform, kubernetes, awscli, ...) that aren't needed to run Move. I think we should just need Rust + the .net and z3 deps for the prover.
Contributor guide
Assessment
This issue has not been assessed yet.