Makefile

# build and watch
watch:
	test -e node_modules || npm i
	node build.js watch

# build without watching
build:
	test -e node_modules || npm i
	node build.js

# build npm library
build-lib:
	test -e node_modules || npm i
	npm run build-lib

# run typechecker
check:
	npx tsc --watch

serve:
	cd public && python3 -m http.server

# deploy to github pages
deploy:
	git push origin "main:deploy"

test:
	npm run test-watch

# publish to npm
publish:
	git push origin "main:publish"

# publish to npm, called by ci
ci-publish:
	make build-lib
	mv README.npm-lib.md README.md
	npm run test
	npm publish

wasm: public/assets/twelf.wasm

public/assets/twelf.wasm: docker/Dockerfile
	docker build -t twelf-wasm-builder docker
	docker create --name tempcont "twelf-wasm-builder:latest"
	docker cp "tempcont:/build/twelf/bin/twelf.wasm" public/assets/twelf.wasm
	touch public/assets/twelf.wasm
	docker rm tempcont