Update CI and add website

This commit is contained in:
Jerome Wu
2022-10-05 14:44:56 +08:00
parent 4369aaf208
commit c0a9a48bdf
50 changed files with 21288 additions and 1113 deletions

View File

@@ -3,6 +3,8 @@ all: dev
MT_FLAGS := -sUSE_PTHREADS -pthread
DEV_ARGS := --progress=plain
CI_ARGS := --cache-from=type=local,src=build-cache --cache-to=type=local,dest=build-cache,mode=max
DEV_CFLAGS := --profiling
DEV_MT_CFLAGS := $(DEV_CFLAGS) $(MT_FLAGS)
PROD_CFLAGS := -O3 -msimd128
@@ -48,5 +50,8 @@ prd:
prd-mt:
make build-mt EXTRA_CFLAGS="$(PROD_MT_CFLAGS)"
test:
npm run test
ci:
make prd EXTRA_ARGS="$(CI_ARGS)"
ci-mt:
make prd-mt EXTRA_ARGS="$(CI_ARGS)"