Mercurial > urweb

view src/coq/Makefile @ 1866:9fc086e3c95a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.
author Sergey Mironov <grrwlf@gmail.com>
date Fri, 13 Sep 2013 10:09:15 -0400
parents 705cb41ac7d0
children
line wrap: on
line source
MODULES := Axioms Name Syntax Semantics
VS      := $(MODULES:%=%.v)

.PHONY: coq clean

coq: Makefile.coq
	make -f Makefile.coq

Makefile.coq: Makefile $(VS)
	coq_makefile -impredicative-set $(VS) -o Makefile.coq

clean:: Makefile.coq
	make -f Makefile.coq clean
	rm -f Makefile.coq