Closed semorrison closed 11 months ago
https://github.com/leanprover/elan/blob/3db6faf6750e971027e145cb335f9d84833fab51/README.md?plain=1#L88
After running cargo build I have a ./target/debug/elan-init binary, but no ./target/debug/elan binary as the README suggests.
cargo build
./target/debug/elan-init
./target/debug/elan
https://github.com/leanprover/elan/blob/3db6faf6750e971027e145cb335f9d84833fab51/README.md?plain=1#L88
After running
cargo build
I have a./target/debug/elan-init
binary, but no./target/debug/elan
binary as the README suggests.