Merge pull request #28 from stefthedrummer/feature-bundled_use-target…

…-os+arch-instead-of-host bundled.rs: use target os and arch instead of host
scipopt · Feb 27, 2025 · 6e31d15 · 6e31d15
2 parents 4c735ce + 0245f02
commit 6e31d15
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bundled.rs b/bundled.rs
@@ -19,8 +19,8 @@ pub fn download_scip() {
         return;
     }
 
-    let os = env::consts::OS;
-    let arch = std::env::consts::ARCH;
+    let os = std::env::var("CARGO_CFG_TARGET_OS").unwrap();
+    let arch = std::env::var("CARGO_CFG_TARGET_ARCH").unwrap();
     println!("cargo:warning=Detected OS: {}", os);
     println!("cargo:warning=Detected arch: {}", arch);