Mercurial > cpdt > repo

annotate book/Makefile @ 2:b3f7de74d38f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of stack machine example
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 13:42:37 -0400
parents
children 9fea5674367c
rev   line source
adamc@2 1 MODULES := Tactics StackMachine
adamc@2 2 VS := $(MODULES:%=%.v)
adamc@2 3 GLOBALS := .coq_globals
adamc@2 4
adamc@2 5 .PHONY: coq clean
adamc@2 6
adamc@2 7 coq: Makefile.coq
adamc@2 8 make -f Makefile.coq
adamc@2 9
adamc@2 10 Makefile.coq: Makefile $(VS)
adamc@2 11 coq_makefile $(VS) \
adamc@2 12 COQC = "coqc -impredicative-set -dump-glob $(GLOBALS)" \
adamc@2 13 -o Makefile.coq
adamc@2 14
adamc@2 15 clean:: Makefile.coq
adamc@2 16 make -f Makefile.coq clean
adamc@2 17 rm -f Makefile.coq .depend