Makefile

vanilla:
	sed \
		-e 's|{{{PLACEHOLDER}}}|<script type="text/javascript" src="../src/SignalCore.js" data-cover-never></script>|' \
	  test/index.html.proto \
		 > test/index.html

fstar:
	$(MAKE) -C fstar compile-wasm
	sed -e 's|{{{PLACEHOLDER}}}| \
	  <script type="text/javascript" src="../fstar/signal-wasm/shell.js" data-cover-never></script> \
	  <script type="text/javascript" src="../fstar/signal-wasm/loader.js" data-cover-never></script> \
	  <script type="text/javascript" src="../src/SignalCoreWasm.js" data-cover-never></script>|' \
	  test/index.html.proto \
		 > test/index.html

update-demo:
	cp -f src/*.js public/
	cp -f fstar/signal-wasm/*.wasm public/
	cp -f fstar/signal-wasm/loader.js public/
	cp -f fstar/signal-wasm/shell.js public/
	sed -i 's|fetch("../fstar/signal-wasm/" + m + ".wasm")|fetch(m + ".wasm")|' public/SignalCoreWasm.js

.PHONY: fstar vanilla