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 |