COQC = coqc
COQDEP = coqdep
COQ_FLAG = -Q "." CC

SOURCE := $(wildcard *.v)
VO_FILES := $(SOURCE:.v=.vo)

.PHONY: all dep clean

all: $(VO_FILES)

%.vo: %.v
	@echo "COQC $<"
	@$(COQC) $(COQ_FLAG) $<

.depend: $(SOURCE)
	@$(COQDEP) $(COQ_FLAG) $^ > $@

dep: .depend

clean:
	@rm -f *.vo* *.glob *~ \#*

-include .depend
