From 61a0842864600d47ec29041c991315776d1c367e Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 6 Apr 2022 19:24:45 +0300 Subject: [PATCH] add wasi build target --- makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index 2fd33d24..2e679fc8 100644 --- a/makefile +++ b/makefile @@ -28,7 +28,8 @@ heapverifyn-singeli: @${MAKE} singeli=1 t=heapverifyn_si f="-g -DDEBUG -DHEAP_VERIFY -march=native" c rtverifyn-singeli: @${MAKE} singeli=1 t=rtverifyn_si f="-O3 -DRT_VERIFY -DEEQUAL_NEGZERO -march=native" c - +wasi-o3: + @${MAKE} singeli=0 t=wasm_o3 f="-DWASM -DCATCH_ERRORS=0 -D_WASI_EMULATED_MMAN --target=wasm32-wasi" LDFLAGS="-lwasi-emulated-mman --target=wasm32-wasi" LD_LIBS= PIE= c # compiler setup