add missing Makefile

[coinductive-monad.git] / Makefile

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..0bd72d5
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,10 @@
+
+all: Recursion/Eval.vo Recursion/Tactics.vo Recursion/Termination.vo Recursion/Monad.vo
+clean:; rm */*.vo
+
+Recursion/Termination.vo: Recursion/Monad.vo
+Recursion/Tactics.vo: Recursion/Monad.vo
+Recursion/Eval.vo: Recursion/Termination.vo
+
+%.vo: %.v
+       coqc -R Recursion Recursion $<
\ No newline at end of file