all: Computation/Eval.vo Computation/Tactics.vo Computation/Termination.vo Computation/Monad.vo Computation/Equivalence.vo
clean:; rm */*.vo

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

%.vo: %.v
	coqc -R Computation Computation $<