Makefile

   1
   2 all: Computation/Eval.vo Computation/Tactics.vo Computation/Termination.vo Computation/Monad.vo Computation/Equivalence.vo
   3 clean:; rm */*.vo
   4
   5 Computation/Equivalence.vo: Computation/Monad.vo Computation/Termination.vo
   6 Computation/Termination.vo: Computation/Monad.vo
   7 Computation/Tactics.vo: Computation/Monad.vo
   8 Computation/Eval.vo: Computation/Termination.vo
   9
  10 %.vo: %.v
  11         coqc -R Computation Computation $<