vfiles  = $(shell find src -name \*.v)
vofiles = $(vfiles:src/%.v=src/%.vo)

all: $(vofiles)
clean:; rm */*.vo

docs: $(vfiles:src/%.v=doc/%.html)

src/%.vo: src/%.v
	mkdir -p `dirname $@`
	coqc -R src/Computation Computation $<
doc/%.html: src/%.v
	mkdir -p `dirname $@`
	coqdoc --no-index --html -o $@ $<

src/Computation/Equivalence.vo: src/Computation/Monad.vo src/Computation/Termination.vo
src/Computation/Termination.vo: src/Computation/Monad.vo
src/Computation/Tactics.vo: src/Computation/Monad.vo
src/Computation/Eval.vo: src/Computation/Termination.vo