Change wasi target to "wasm32-wasi" (#47)

This is to reflect the upstream change in WebAssembly/wasi-sdk#388.
standardml · May 13, 2024 · e66f6f3 · e66f6f3
1 parent e8aa91d
commit e66f6f3
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' \