From 6d51e5393d75a513ee812b3602d54c19eaf8cd2a Mon Sep 17 00:00:00 2001 From: igneum-josh <337424239+igneum-josh@users.noreply.github.com> Date: Mon, 5 Oct 2026 11:36:25 +0100 Subject: [PATCH] app: the WSL exporter path is built as a Linux path (PathBuf::join wrote a backslash on Windows and broke every export on PC 2) Co-Authored-By: Claude Fable 5.1 --- app/igneum-app/src/prover.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/app/igneum-app/src/prover.rs b/app/igneum-app/src/prover.rs index 76cfa1485..99ca8b431 100644 --- a/app/igneum-app/src/prover.rs +++ b/app/igneum-app/src/prover.rs @@ -165,7 +165,9 @@ fn find_tools(bin_dir: &Path) -> Result { let setup = bin_dir.join("wsl2").join("setup-wsl.sh"); match host { Some(host) => { - let export = host.parent().map(|d| d.join("igneum-prove-export")).unwrap_or_default(); + // a Linux path: never PathBuf::join here, which writes a backslash on Windows ("/opt/igneum\\igneum-prove-export" + // broke every export on PC 2 under 0.3.7, 5 October 2026) + let export = PathBuf::from(format!("{}/igneum-prove-export", host.to_string_lossy().rsplit_once('/').map(|(d, _)| d).unwrap_or(""))); Ok(Tools { host, export, miner, wsl: true, setup_script: setup.exists().then_some(setup), cuda: text.contains("cuda") }) } None => Err(probe_message(bin_dir, answered, setup.exists())),