Skip to content

Commit 40142ed

Browse files
committed
Fix WASI build
1 parent 15c8e58 commit 40142ed

File tree

2 files changed

+8
-0
lines changed

2 files changed

+8
-0
lines changed

configure

Lines changed: 4 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

configure.ac

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4345,6 +4345,10 @@ else
43454345
*-pc-linux-*)
43464346
CARGO_TARGET=$(echo "$host" | sed 's/-pc-linux-/-unknown-linux-/')
43474347
;;
4348+
wasm32-unknown-wasip1)
4349+
CARGO_TARGET=wasm32-wasip1
4350+
export BINDGEN_EXTRA_CLANG_ARGS="--sysroot=/opt/wasi-sdk/share/wasi-sysroot"
4351+
;;
43484352
*)
43494353
CARGO_TARGET="$host"
43504354
;;

0 commit comments

Comments
 (0)