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

clean:
	if [ -f Makefile.coq ]; then $(MAKE) -f Makefile.coq clean; rm -f Makefile.coq Makefile.coq.conf; fi
	rm -f formal/*.vo formal/*.vos formal/*.vok formal/*.glob formal/.*.aux

.PHONY: all clean
