agda-files := $(shell find src/ -type f -name '*.agda')
wasm-agda := $(wildcard find wasm-agda/ -type f)

default: src/Main

src/Main: $(agda-files) $(wasm-agda)
	agda -c src/Main.agda

check:
	agda src/Everything.agda

clean:
	rm -f src/Main
	rm -fr src/MAlonzo
	find -type f -iname '*.agdai' -exec rm {} \;