From 537369e5e74cde45821eff1e2c3bf918c7e7f3cf Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 6 Apr 2022 22:10:55 +0300 Subject: [PATCH] make wasi-o3 actually have -O3 --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 4c217783..41e5e3e1 100644 --- a/makefile +++ b/makefile @@ -29,7 +29,7 @@ heapverifyn-singeli: rtverifyn-singeli: @${MAKE} singeli=1 t=rtverifyn_si f="-O3 -DRT_VERIFY -DEEQUAL_NEGZERO -march=native" c wasi-o3: - @${MAKE} singeli=0 t=wasi_o3 f="-DWASM -DCATCH_ERRORS=0 -D_WASI_EMULATED_MMAN --target=wasm32-wasi" LDFLAGS="-lwasi-emulated-mman --target=wasm32-wasi" LD_LIBS= PIE= c + @${MAKE} singeli=0 t=wasi_o3 f="-DWASM -O3 -DCATCH_ERRORS=0 -D_WASI_EMULATED_MMAN --target=wasm32-wasi" LDFLAGS="-lwasi-emulated-mman --target=wasm32-wasi" LD_LIBS= PIE= c emcc-o3: @${MAKE} singeli=0 t=emcc_o3 f='-DWASM -DEMCC -O3' LDFLAGS='-s EXPORTED_FUNCTIONS=_main,_cbqn_runLine -s EXPORTED_RUNTIME_METHODS=ccall,cwrap -s ALLOW_MEMORY_GROWTH=1' CC=emcc c