Makefile

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