Mercurial > cpdt > repo
diff 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 diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/book/Makefile Fri Aug 29 13:42:37 2008 -0400 @@ -0,0 +1,17 @@ +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