Mercurial > cpdt > repo
view 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 |
line wrap: on
line source
MODULES := Tactics StackMachine VS := $(MODULES:%=%.v) GLOBALS := .coq_globals .PHONY: coq clean coq: Makefile.coq make -f Makefile.coq Makefile.coq: Makefile $(VS) coq_makefile $(VS) \ COQC = "coqc -impredicative-set -dump-glob $(GLOBALS)" \ -o Makefile.coq clean:: Makefile.coq make -f Makefile.coq clean rm -f Makefile.coq .depend