diff Makefile @ 41:d45ba7e9b266

Improve template generation; craft template for InductiveTypes
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 14:31:51 -0400
parents fd18331e5c0b
children 7021e94dbbec
line wrap: on
line diff
--- a/Makefile	Sat Sep 13 08:58:48 2008 -0400
+++ b/Makefile	Sat Sep 13 14:31:51 2008 -0400
@@ -51,7 +51,7 @@
 
 templates: $(TEMPLATES)
 
-templates/%.v: src/%.v
+templates/%.v: src/%.v tools/make_template.ml
 	ocaml tools/make_template.ml <$< >$@
 
 cpdt.tgz: