include Makefile.init

SOURCES=$(wildcard *.v)
OBJS=$(SOURCES:.v=.vo)
DEPS=$(SOURCES:.v=.vd)
MF=$(SOURCES:.v=.vm)

help:
	@echo
	@echo 'Usage: make [ clean | module.vo | module.vp | depend | help ]'
	@echo
	@echo clean	Remove all objects and dependencies
	@echo module.vo	Build the Coq object files for the module and its dependencies.
	@echo module.vp Only build the Coq object files for the dependencies of your module. This allows updating the modules before opening and editing the sources with CoqIDE and its step-by-step reasoning features.
	@echo depend	Build the dependency file
	@echo help	Shows this help message. This is the default.
	@echo
	@echo Available sources are :
	@echo $(SOURCES)

all:

clean:
	rm -f -- $(OBJS) Makefile.aux
	@echo Do not forget running '`'$(MAKE) depend'`'

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

depend:
	$(COQDEP) $(SOURCES) > Makefile.aux  #| sed 's/\.vo: [^ ]*/\.v:/' > Makefile.aux


-include Makefile.aux