diff options
Diffstat (limited to 'third_party/immer/extra/js/makefile')
| -rw-r--r-- | third_party/immer/extra/js/makefile | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/third_party/immer/extra/js/makefile b/third_party/immer/extra/js/makefile deleted file mode 100644 index fc6075bfe8..0000000000 --- a/third_party/immer/extra/js/makefile +++ /dev/null @@ -1,29 +0,0 @@ - -BOOST=. -EMCXX=em++ -EMCXXFLAGS=-O3 -std=c++14 --bind \ - -I ../.. \ - -I $(BOOST) -WASM_BACKEND=0 - -ALL= \ - out/immer.asmjs.js \ - out/immer.asmjs.html \ - out/immer.wasm.js \ - out/immer.wasm.html - -all: $(ALL) - -out/immer.asmjs.js: immer.cpp - @mkdir -p $(@D) - $(EMCXX) $(EMCXXFLAGS) $< -o $@ - -out/immer.wasm.js: immer.cpp - @mkdir -p $(@D) - EMCC_WASM_BACKEND=$(WASM_BACKEND) $(EMCXX) -s WASM=1 $(EMCXXFLAGS) $< -o $@ - -%.html: %.js index.tpl.html - sed s/%IMMER_JS%/`basename $<`/ < index.tpl.html > $@ - -clean: - rm -f $(ALL) |