Mercurial > cpdt > repo
comparison 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 |
comparison
equal
deleted
inserted
replaced
40:02e8e9ef2746 | 41:d45ba7e9b266 |
---|---|
49 dvi: | 49 dvi: |
50 xdvi latex/cpdt | 50 xdvi latex/cpdt |
51 | 51 |
52 templates: $(TEMPLATES) | 52 templates: $(TEMPLATES) |
53 | 53 |
54 templates/%.v: src/%.v | 54 templates/%.v: src/%.v tools/make_template.ml |
55 ocaml tools/make_template.ml <$< >$@ | 55 ocaml tools/make_template.ml <$< >$@ |
56 | 56 |
57 cpdt.tgz: | 57 cpdt.tgz: |
58 hg archive -t tgz $@ | 58 hg archive -t tgz $@ |
59 | 59 |