Makefile

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