Skip to content
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

[Bug] Facing this issue while installling move cli #244

Closed
MohammadAbuzar945 opened this issue Sep 27, 2022 · 4 comments
Closed

[Bug] Facing this issue while installling move cli #244

MohammadAbuzar945 opened this issue Sep 27, 2022 · 4 comments
Labels
bug Something isn't working

Comments

@MohammadAbuzar945
Copy link

image

@MohammadAbuzar945 MohammadAbuzar945 added the bug Something isn't working label Sep 27, 2022
@cagrigit-hub
Copy link

same error here

@l-monninger
Copy link

l-monninger commented May 25, 2023

There's currently/also https://github.com/diem/move/blob/725168d7522a3abeeb8664b4f1498552b3657286/language/move-prover/bytecode/src/well_formed_instrumentation.rs#LL38C34-L38C34 which causes an error which you can resolve by changing to #[allow(clippy::redundant_clone)].

When I first encountered this I was short on time and moved over to: https://github.com/move-language/move. But, I just added a PR in case anyone wants it.

l-monninger pushed a commit to l-monninger/move that referenced this issue May 25, 2023
@l-monninger l-monninger mentioned this issue May 25, 2023
@Toni1124
Copy link

There's currently/also https://github.com/diem/move/blob/725168d7522a3abeeb8664b4f1498552b3657286/language/move-prover/bytecode/src/well_formed_instrumentation.rs#LL38C34-L38C34 which causes an error which you can resolve by changing to #[allow(clippy::redundant_clone)].

I solved this problem by first git clone the repository, modified code like above, and run cargo install --path move/language/tools/move-cli. After this, you can get the binary.

@MohammadAbuzar945
Copy link
Author

The Solution Tonii1124 mentioned works for me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

4 participants