Mercurial > cpdt > repo
comparison book/Makefile @ 2:b3f7de74d38f
Start of stack machine example
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 29 Aug 2008 13:42:37 -0400 |
parents | |
children | 9fea5674367c |
comparison
equal
deleted
inserted
replaced
1:0ba25681a11b | 2:b3f7de74d38f |
---|---|
1 MODULES := Tactics StackMachine | |
2 VS := $(MODULES:%=%.v) | |
3 GLOBALS := .coq_globals | |
4 | |
5 .PHONY: coq clean | |
6 | |
7 coq: Makefile.coq | |
8 make -f Makefile.coq | |
9 | |
10 Makefile.coq: Makefile $(VS) | |
11 coq_makefile $(VS) \ | |
12 COQC = "coqc -impredicative-set -dump-glob $(GLOBALS)" \ | |
13 -o Makefile.coq | |
14 | |
15 clean:: Makefile.coq | |
16 make -f Makefile.coq clean | |
17 rm -f Makefile.coq .depend |