Mercurial > cpdt > repo
comparison Makefile @ 26:65314ca099ed
Start of Inductive Types
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Mon, 08 Sep 2008 14:19:50 -0400 |
parents | 26ad686e68f2 |
children | fd18331e5c0b |
comparison
equal
deleted
inserted
replaced
25:26ad686e68f2 | 26:65314ca099ed |
---|---|
1 MODULES_NODOC := Tactics | 1 MODULES_NODOC := Tactics |
2 MODULES_PROSE := Intro | 2 MODULES_PROSE := Intro |
3 MODULES_CODE := StackMachine | 3 MODULES_CODE := StackMachine InductiveTypes |
4 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) | 4 MODULES_DOC := $(MODULES_PROSE) $(MODULES_CODE) |
5 MODULES := $(MODULES_NODOC) $(MODULES_DOC) | 5 MODULES := $(MODULES_NODOC) $(MODULES_DOC) |
6 VS := $(MODULES:%=src/%.v) | 6 VS := $(MODULES:%=src/%.v) |
7 VS_DOC := $(MODULES_DOC:%=%.v) | 7 VS_DOC := $(MODULES_DOC:%=%.v) |
8 GLOBALS := .coq_globals | 8 GLOBALS := .coq_globals |