add Computation/Equivalence.v

[coinductive-monad.git] / Makefile

diff --git a/Makefile b/Makefile
index bef71fe..8d5d281 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,8 @@
 
 

-all: Computation/Eval.vo Computation/Tactics.vo Computation/Termination.vo Computation/Monad.vo
+all: Computation/Eval.vo Computation/Tactics.vo Computation/Termination.vo Computation/Monad.vo Computation/Equivalence.vo

 clean:; rm */*.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
 Computation/Termination.vo: Computation/Monad.vo
 Computation/Tactics.vo: Computation/Monad.vo
 Computation/Eval.vo: Computation/Termination.vo