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