From 7439e43c33a10817e19e7a5f26435d2097dc262d Mon Sep 17 00:00:00 2001 From: adam Date: Tue, 2 Oct 2007 21:28:10 +0000 Subject: [PATCH 1/1] add missing Makefile darcs-hash:20071002212810-5007d-58e9514de95ecf90e0fbd05fa041d8bb06fc19a2.gz --- Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 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 -- 1.7.10.4