allow changing crux-mir binary path using CRUX_MIR env var

GaloisInc · Apr 7, 2022 · fbacd2a · fbacd2a
1 parent 281fcb3
commit fbacd2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/mir-json-rustc-wrapper.rs b/src/bin/mir-json-rustc-wrapper.rs
@@ -155,7 +155,7 @@ fn write_test_script(script_path: &Path, json_path: &Path) -> io::Result<()> {
     let mut f = OpenOptions::new().write(true).create(true).truncate(true)
         .mode(0o755).open(script_path)?;
     writeln!(f, "#!/bin/sh")?;
-    writeln!(f, r#"exec crux-mir --assert-false-on-error --cargo-test-file "$(dirname "$0")"/'{}' "$@""#, json_name)?;
+    writeln!(f, r#"exec "${{CRUX_MIR:-crux-mir}}" --assert-false-on-error --cargo-test-file "$(dirname "$0")"/'{}' "$@""#, json_name)?;
     Ok(())
 }