diff --git a/configure b/configure index 5b09de36f9a0b8..fbb201854f33f3 100755 --- a/configure +++ b/configure @@ -16122,6 +16122,10 @@ else *-pc-linux-*) CARGO_TARGET=$(echo "$host" | sed 's/-pc-linux-/-unknown-linux-/') ;; + wasm32-unknown-wasip1) + CARGO_TARGET=wasm32-wasip1 + export BINDGEN_EXTRA_CLANG_ARGS="--sysroot=/opt/wasi-sdk/share/wasi-sysroot" + ;; *) CARGO_TARGET="$host" ;; diff --git a/configure.ac b/configure.ac index 1561c6f9b2e99f..add1000d155ea6 100644 --- a/configure.ac +++ b/configure.ac @@ -4345,6 +4345,10 @@ else *-pc-linux-*) CARGO_TARGET=$(echo "$host" | sed 's/-pc-linux-/-unknown-linux-/') ;; + wasm32-unknown-wasip1) + CARGO_TARGET=wasm32-wasip1 + export BINDGEN_EXTRA_CLANG_ARGS="--sysroot=/opt/wasi-sdk/share/wasi-sysroot" + ;; *) CARGO_TARGET="$host" ;;