#TODO: Die folgenden 4 Zeilen konfigurieren.
SRC := src
MODULES :=
LIB := CoMoProj
HTML := public

VS := $(MODULES:%=$(SRC)/%.v)

LIB := CoMoProj #TODO
HTML := public #TODO Ggf. anpassen

.PHONY: all html coq clean clean_html clean_all

all: coq html _CoqProject

_CoqProject: Makefile
	echo "-R $(SRC) $(LIB)\n\n$(SRC)" > _CoqProject

html: coq
	mkdir -p public
	coqdoc -R $(SRC) $(LIB) $(VS) -d $(HTML) \
		-utf8 --lib-name File --toc


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

clean:
	rm -f $(SRC)/*.vo
	rm -f $(SRC)/*.vok
	rm -f $(SRC)/*.vos
	rm -f $(SRC)/*.glob
	rm -f $(SRC)/.*.aux
	rm -f Makefile.coq
	rm -f Makefile.coq.conf
	rm -f .Makefile.coq.d
	rm -f _CoqProject

clean_html: clean
	rm -f -r $(HTML)

clean_all: clean clean_html

Makefile.coq: Makefile $(VS)
	@coq_makefile -o Makefile.coq -R $(SRC) $(LIB) $(VS)