Merge pull request #598 from os-checker/fix/dll-path-on-windows

fix(charon CLI): set RUSTUP_WINDOWS_PATH_ADD_BIN=1 on Windows to add rust driver dll to PATH

Author: Nadrieril

charon/src/bin/charon/main.rs

@@ -93,6 +93,15 @@ impl Toolchain {
         cmd.arg("run");
         cmd.arg(&self.channel);
         cmd.arg(program);
+
+        // Add rust driver dll to `PATH` in rustup.
+        // cc
+        // * https://github.com/AeneasVerif/charon/issues/588
+        // * https://github.com/rust-lang/rustup/issues/3825
+        if cfg!(windows) {
+            cmd.env("RUSTUP_WINDOWS_PATH_ADD_BIN", "1");
+        }
+
         cmd
     }
 }