2 coqfiles := $(shell find src -name \*.v)
3 allfiles := $(coqfiles) $(shell find src -name \*.hs)
6 make build/Makefile.coq
7 cd build; make OPT=-dont-load-proofs -f Makefile.coq Main.vo
9 build/Makefile.coq: $(coqfiles)
13 cd build; ln -s ../src/*.v .
14 cd build; coq_makefile *.v > Makefile.coq