diff Makefile @ 83:d992227e4814

Start of MoreDep
author Adam Chlipala <adamc@hcoop.net>
date Sun, 05 Oct 2008 15:42:14 -0400
parents c49d999fe806
children 939add5a7db9
line wrap: on
line diff
--- a/Makefile	Sun Oct 05 12:12:19 2008 -0400
+++ b/Makefile	Sun Oct 05 15:42:14 2008 -0400
@@ -1,6 +1,6 @@
 MODULES_NODOC := Tactics MoreSpecif
 MODULES_PROSE := Intro
-MODULES_CODE  := StackMachine InductiveTypes Predicates Coinductive Subset
+MODULES_CODE  := StackMachine InductiveTypes Predicates Coinductive Subset MoreDep
 MODULES_DOC   := $(MODULES_PROSE) $(MODULES_CODE)
 MODULES       := $(MODULES_NODOC) $(MODULES_DOC)
 VS            := $(MODULES:%=src/%.v)