From e1d688d8536c842654a04802c2621ecf45cac32c Mon Sep 17 00:00:00 2001 From: Aliaksei Semianiuk Date: Sat, 27 Dec 2025 23:24:18 +0500 Subject: [PATCH] Fix WASI build --- configure | 4 ++++ configure.ac | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/configure b/configure index 5b09de36f9a0b8..5e36f79bf931b2 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_wasm32_wasip1="--sysroot=/opt/wasi-sdk/share/wasi-sysroot" + ;; *) CARGO_TARGET="$host" ;; diff --git a/configure.ac b/configure.ac index 1561c6f9b2e99f..db87af119cc4da 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_wasm32_wasip1="--sysroot=/opt/wasi-sdk/share/wasi-sysroot" + ;; *) CARGO_TARGET="$host" ;;