Run `cargo add` in `c2rust-instrument --set-runtime` to add `c2rust-analysis-rt` automatically#562

Merged

kkysen merged 6 commits into

kkysen/instrument-cargo-add

Aug 16, 2022

Commits on Aug 16, 2022

Add a `--runtime` argument, which is used by `cargo add c2rust-analysis-rt` instead of the user having to manually do it. However, we have to use `+stable` as `cargo add` was added in 1.62 (on 1.6…
kkysen
committed
Move the `cargo add` runtime to before any other `cargo` commands so that they work correctly always.
kkysen
committed
Added (off by default) `--set-runtime` so that the runtime is not `cargo add`ed unless explicitly opted-into.
kkysen
committed
Clarified documentation for `--runtime`.
kkysen
committed
Renamed `--runtime` to `--runtime-path`.
kkysen
committed
Forgot to add `--set-runtime` in `pdg.sh`.
kkysen
committed