add FullSubcategoryInclusionFunctor
[coq-categories.git] / Makefile
1 coqc     := coqc -noglob
2 coqfiles := $(shell find src -name \*.v)
3 allfiles := $(coqfiles) $(shell find src -name \*.hs)
4
5 default: $(allfiles)
6         make build/Makefile.coq
7         cd build; make OPT="-opt -dont-load-proofs" -f Makefile.coq Main.vo
8
9 build/Makefile.coq: $(coqfiles)
10         mkdir -p build
11         rm -f build/*.v
12         rm -f build/*.d
13         cd build; ln -s ../src/*.v .
14         cd build; coq_makefile *.v > Makefile.coq
15
16 clean:
17         rm -rf build