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

COQC=coqc

all: $(VOBJ)

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

clean:
	rm -f *.vo

.PHONY: all clean

include Makefile.coq