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="-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