V=$(wildcard *.v)
VOBJ=$(patsubst %.v,%.vo,$(V))

COQC=coqc

all: $(VOBJ)

%.vo: %.v
	$(COQC) $<

Makefile.coq:
	coqdep -I . *.v > Makefile.coq

clean:
	rm -f *.vo
	rm -f Makefile.coq

.PHONY: all clean

include Makefile.coq