From f3aa9e4d5bb2ffb9226403b1b018ec56efa7bfd3 Mon Sep 17 00:00:00 2001 From: brian cully Date: Sun, 28 Dec 2025 17:16:31 -0500 Subject: make: don't emit a bunch of wasm-pack stuff we don't need --- Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 5d17ff0..677f573 100644 --- a/Makefile +++ b/Makefile @@ -1,10 +1,13 @@ BUILDDIR=site HOST=coleridge:public_html/automathon +# --dev may be useful, but it makes things a lot slower and bigger +WASMPACKFLAGS=--no-pack --no-typescript + # the --target is currently necessary or firefox will return # "disallowed mime type" -bjc 7-aug-2025 build: - wasm-pack build --target web --out-dir $(BUILDDIR)/wasm + wasm-pack build --target web --out-dir $(BUILDDIR)/wasm $(WASMPACKFLAGS) serve: build (cd $(BUILDDIR) && python -m http.server 8118) -- cgit v1.3