From 34c2808e6dc9ee7c21fb4bf62b7ea022464a4f12 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <imuwoto@gmail.com>
Date: Wed, 18 Dec 2024 00:36:43 +0900
Subject: [PATCH] build-wasm32-wasi.sh: bump wasi sdk version

---
 build-wasm32-wasi.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-wasm32-wasi.sh b/build-wasm32-wasi.sh
index d5ec0a6e..03ba8710 100755
--- a/build-wasm32-wasi.sh
+++ b/build-wasm32-wasi.sh
@@ -8,7 +8,7 @@ set -e
 # To build with wasi-threads enabled, not backed by pthread
 #    EXTRA_CMAKE_OPTIONS="-DTOYWASM_ENABLE_WASM_THREADS=ON -DTOYWASM_ENABLE_WASI_THREADS=ON -DTOYWASM_USE_USER_SCHED=ON" ./build-wasm32-wasi.sh
 
-MAJOR=${WASI_SDK_MAJOR:-24}
+MAJOR=${WASI_SDK_MAJOR:-25}
 MINOR=${WASI_SDK_MINOR:-0}
 WASI_SDK_DIR=${WASI_SDK_DIR:-$(pwd)/.wasi-sdk-${MAJOR}.${MINOR}}
 CMAKE_TOOLCHAIN_FILE=${CMAKE_TOOLCHAIN_FILE:-${WASI_SDK_DIR}/share/cmake/wasi-sdk.cmake}