- basic_2: reaxiomatized snv with improved cpds and cpes simplifies preservation

[helm.git] / matita / matita / contribs / lambdadelta / Makefile

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 2945fc62c91d5e43d9a1e8d910f116af0557afeb..15c38d0094d475efeb3213e8d8c31912a2ed1bae 100644 (file)
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -34,7 +34,8 @@ CONTRIB      := lambdadelta_2
 
 TAGS := all xoa xoa2 orig elim deps top leaf stats tbls trim contrib
 
-PACKAGES := ground_2 basic_2 apps_2
+PACKAGES  := ground_2 basic_2 apps_2 alpha_1
+XPACKAGES := ground_2 basic_2
 
 LDWS := $(shell find -name "*.ldw.xml")
 TBLS := $(shell find -name "*.tbl")
@@ -59,6 +60,14 @@ endef
 
 $(foreach PKG, $(PACKAGES), $(eval $(call MAS_TEMPLATE,$(PKG))))
 
+# XMAS #######################################################################
+
+define XMAS_TEMPLATE
+  XMAS += $$(MAS_$(1))
+endef
+
+$(foreach PKG, $(XPACKAGES), $(eval $(call XMAS_TEMPLATE,$(PKG))))
+
 # xoa ########################################################################
 
 xoa: $(XOA_TARGETS)
@@ -239,7 +248,7 @@ trim: $(TRIMS:%=%.trimmed)
 
 contrib:
        @echo "  TAR -czf $(CONTRIB).tar.gz root *.ma"
-       $(H)tar -czf $(CONTRIB).tar.gz root $(MAS)
+       $(H)tar -czf $(CONTRIB).tar.gz root $(XMAS)
 
 ##############################################################################