https://github.com/uds-psl/coq-library-undecidability
Tip revision: 32fa1f0f91fa27337bff156ece5fc8e1c2be0fb9 authored by Yannick Forster on 24 November 2020, 12:45:44 UTC
Cleanup coqdoc and _CoqProject (#97)
Cleanup coqdoc and _CoqProject (#97)
Tip revision: 32fa1f0
Makefile
all:
export TIMED
$(MAKE) -C theories all
install:
$(MAKE) -C theories install
clean:
$(MAKE) -C theories clean
html:
$(MAKE) -C theories html
.PHONY: all install html clean
dummy:
%.vo: dummy
cd theories && $(MAKE) $@