diff Makefile @ 142:6a00d49e85fb

Start of Reflection
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Oct 2008 11:29:14 -0400
parents bc1f7d3687e7
children 8157e8e28e2e
line wrap: on
line diff
--- a/Makefile	Mon Oct 27 10:31:57 2008 -0400
+++ b/Makefile	Tue Oct 28 11:29:14 2008 -0400
@@ -1,7 +1,7 @@
 MODULES_NODOC := Axioms Tactics MoreSpecif DepList
 MODULES_PROSE := Intro
 MODULES_CODE  := StackMachine InductiveTypes Predicates Coinductive Subset \
-	MoreDep DataStruct Equality Match
+	MoreDep DataStruct Equality Match Reflection
 MODULES_DOC   := $(MODULES_PROSE) $(MODULES_CODE)
 MODULES       := $(MODULES_NODOC) $(MODULES_DOC)
 VS            := $(MODULES:%=src/%.v)