comparison src/coq/Makefile @ 1618:705cb41ac7d0

Update Coq semantics for 8.3pl2
author Adam Chlipala <adam@chlipala.net>
date Wed, 30 Nov 2011 15:28:56 -0500
parents
children
comparison
equal deleted inserted replaced
1617:8611da277df4 1618:705cb41ac7d0
1 MODULES := Axioms Name Syntax Semantics
2 VS := $(MODULES:%=%.v)
3
4 .PHONY: coq clean
5
6 coq: Makefile.coq
7 make -f Makefile.coq
8
9 Makefile.coq: Makefile $(VS)
10 coq_makefile -impredicative-set $(VS) -o Makefile.coq
11
12 clean:: Makefile.coq
13 make -f Makefile.coq clean
14 rm -f Makefile.coq