From fd902bb77e028699d18073c711844603438ea745 Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 6 Apr 2022 20:24:07 +0300 Subject: [PATCH] add make emcc-o3 --- makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/makefile b/makefile index 91a0c667..a00694d9 100644 --- a/makefile +++ b/makefile @@ -30,6 +30,8 @@ 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 +emcc-o3: + @${MAKE} singeli=0 t=emcc_o3 f='-DWASM -O3' CC=emcc c # compiler setup