Makefile

coq: Makefile.coq
	$(MAKE) -f Makefile.coq

clean: Makefile.coq
	$(MAKE) -f Makefile.coq clean

Makefile.coq: _CoqProject Makefile
	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq

dist:
	git archive --prefix=mirror-core/ -o mirror-core.tgz HEAD

install: coq
	$(MAKE) -f Makefile.coq install

init:
	@ ./tools/setup.sh -b $(EXTBRANCH)
	@ (cd coq-ext-lib; $(MAKE))

universes: universes.txt

universes.txt: coq tests/universes.v
	$(COQBIN)coqc `grep '\-Q' _CoqProject` `grep '\-I' _CoqProject` tests/universes

check-imports:
	./tools/opt-import.py -p _CoqProject

deps.pdf:
	@ $(COQBIN)coqdep -dumpgraph deps.dot `sed '/COQLIB/d' _CoqProject` > /dev/null
	@ sed -i '/ext-lib/d' deps.dot
	@ dot -Tpdf deps.dot -o deps.pdf

.PHONY: all clean dist init coq deps.pdf check-imports universes todo admit

todo:
	git grep TODO

admit:
	git grep -i admit

_CoqProject: _CoqPath _CoqConfig Makefile
	@ echo "# Generating _CoqProject"
	@ rm -f _CoqProject
ifneq ("$(wildcard _CoqPath)","")
	@ echo "# including: _CoqPath"
	@ cp _CoqPath _CoqProject
	@ echo >> _CoqProject
endif
	@ echo "# including: _CoqConfig"
	@ cat _CoqConfig >> _CoqProject

_CoqPath:
	@ echo > /dev/null