igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

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)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-05 10:36:25 +00:00
parent 337ad7ba8e
commit d7596d1261
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
app/igneum-app/src/prover.rs
View file

@ -165,7 +165,9 @@ fn find_tools(bin_dir: &Path) -> Result<Tools, String> {
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())),