Change wasm target to "wasm32-wasi"

This is to reflect the upstream change in WebAssembly/wasi-sdk#388.
agoode · May 13, 2024 · 901a837 · 901a837
1 parent e8aa91d
commit 901a837
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -58,7 +58,7 @@ twelf-server-mlton:
 
 .PHONY: twelf-lib-mlton-wasi
 twelf-lib-mlton-wasi:
-	$(mlton) -target wasm32-unknown-wasi \
+	$(mlton) -target wasm32-wasi \
 		-format libexecutable \
 		-output bin/twelf.wasm \
 		-default-ann 'allowFFI true' \