@@ -127,7 +127,7 @@ def _setup_downloaded_cpp_tools(repository_ctx, platform, wasi_sdk_version):
127127 "linux_arm64" : "arm64-linux" ,
128128 "darwin_amd64" : "x86_64-macos" ,
129129 "darwin_arm64" : "arm64-macos" ,
130- "windows_amd64" : "x86_64-mingw " ,
130+ "windows_amd64" : "x86_64-windows " ,
131131 }
132132 arch_os = platform_map .get (platform , "x86_64-linux" )
133133 wasi_sdk_dir = "wasi-sdk-{}.0-{}" .format (wasi_sdk_version , arch_os )
@@ -182,7 +182,7 @@ def _get_wasi_sdk_url(platform, version):
182182 "linux_arm64" : "arm64-linux" ,
183183 "darwin_amd64" : "x86_64-macos" ,
184184 "darwin_arm64" : "arm64-macos" ,
185- "windows_amd64" : "x86_64-mingw " ,
185+ "windows_amd64" : "x86_64-windows " ,
186186 }
187187 arch_os = platform_map .get (platform , "x86_64-linux" )
188188 filename = "wasi-sdk-{}.0-{}.tar.gz" .format (version , arch_os )
@@ -193,7 +193,7 @@ def _get_wasi_sdk_url(platform, version):
193193 "linux_arm64" : "linux" ,
194194 "darwin_amd64" : "macos" ,
195195 "darwin_arm64" : "macos" ,
196- "windows_amd64" : "mingw " ,
196+ "windows_amd64" : "windows " ,
197197 }
198198 os_name = platform_map .get (platform , "linux" )
199199 filename = "wasi-sdk-{}-{}.tar.gz" .format (version , os_name )
0 commit comments