add missing Makefile

darcs-hash:20071002212810-5007d-58e9514de95ecf90e0fbd05fa041d8bb06fc19a2.gz

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