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.60 now, but upgrading in #513).

Author: kkysen

analysis/test/Cargo.toml

@@ -7,4 +7,4 @@ edition = "2021"
 
 [dependencies]
 libc = "0.2"
-c2rust-analysis-rt = { path = "../../analysis/runtime", optional = true }
+c2rust-analysis-rt = { path = "../runtime", optional = true, version = "0.1.0" }

dynamic_instrumentation/src/main.rs

@@ -52,6 +52,10 @@ struct Args {
     #[clap(long, value_parser)]
     metadata: PathBuf,
 
+    /// Path to the `c2rust-analysis-rt` crate.
+    #[clap(long, value_parser)]
+    runtime: Option<PathBuf>,
+
     /// `cargo` args.
     cargo_args: Vec<OsString>,
 }
@@ -218,6 +222,7 @@ fn rustc_wrapper() -> anyhow::Result<()> {
 fn cargo_wrapper(rustc_wrapper: &Path) -> anyhow::Result<()> {
     let Args {
         metadata,
+        runtime,
         mut cargo_args,
     } = Args::parse();
 
@@ -232,6 +237,23 @@ fn cargo_wrapper(rustc_wrapper: &Path) -> anyhow::Result<()> {
         cmd.args(&["clean", "--package", root_package.name.as_str()]);
     })?;
 
+    // TODO(kkysen) Once we upgrade to 1.62, we can just use `cargo` and not specify `+stable`.
+    // The problem currently is that `+stable` doesn't work on a resolved `$CARGO`,
+    // which happens when this runs inside of `cargo test`,
+    // and our current nightly is 1.60, which is before `cargo add` got added
+    // (though it's been in `cargo-edit` for a while).
+    Cargo {
+        path: "cargo".into(),
+    }
+    .run(|cmd| {
+        cmd.args(&["+stable", "add", "--optional", "c2rust-analysis-rt"]);
+        if let Some(runtime) = runtime {
+            // Since it's a local path, we don't need the internet,
+            // and running it offline saves a slow index sync.
+            cmd.args(&["--offline", "--path"]).arg(runtime);
+        }
+    })?;
+
     cargo.run(|cmd| {
         add_runtime_feature(&mut cargo_args);
         cmd.args(cargo_args)

scripts/pdg.sh

@@ -41,6 +41,7 @@ main() {
     local c2rust="${CWD}/${profile_dir}/c2rust"
     local c2rust_instrument="${CWD}/${profile_dir}/${instrument}"
     local metadata="${CWD}/${test_dir}/metadata.bc"
+    local runtime="${CWD}/analysis/runtime"
 
     (cd "${test_dir}"
         export RUST_BACKTRACE=1
@@ -51,6 +52,7 @@ main() {
 
         time "${c2rust_instrument}" \
             --metadata "${metadata}" \
+            --runtime "${runtime}" \
             -- run "${profile_args[@]}" \
             -- "${args[@]}" \
             1> instrument.out.log