Merge pull request #596 from hermit-os/wasmtime-fix

fix(examples/wasmtime): support release profile compilation
hermit-os · Jul 1, 2024 · aa1f09d · aa1f09d
2 parents d99c4ac + 054f5cb
commit aa1f09d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/examples/wasmtime/.gitignore b/examples/wasmtime/.gitignore
@@ -0,0 +1 @@
+/target
diff --git a/examples/wasmtime/build.rs b/examples/wasmtime/build.rs
@@ -2,16 +2,18 @@ use std::process::Command;
 use std::{env, io};
 
 fn main() -> io::Result<()> {
+	let cargo = env::var_os("CARGO").unwrap();
 	let out_dir = env::var_os("OUT_DIR").unwrap();
 
-	let status = Command::new("cargo")
+	let status = Command::new(cargo)
 		.arg("build")
 		.arg("-Zunstable-options")
 		.arg("-Zbuild-std=std,panic_abort")
 		.arg("--target=wasm32-unknown-unknown")
 		.arg("--package=fibonacci")
 		.arg("--release")
-		.arg("--out-dir")
+		.arg("--target-dir=target")
+		.arg("--artifact-dir")
 		.arg(&out_dir)
 		.status()?;
 	assert!(status.success());