diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/coq/Makefile	Wed Nov 30 15:28:56 2011 -0500
@@ -0,0 +1,14 @@
+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