porting of basic_1 for the ng_kernel: first step ...

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

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 9b90b999771b145f9e18838334231824b762a2f0..cdd4f35b6cde395d7b79f8f4caca4e3703ae89ad 100644 (file)
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -40,9 +40,6 @@ XPACKAGES := ground_2 basic_2
 LDWS := $(shell find -name "*.ldw.xml")
 TBLS := $(shell find -name "*.tbl")
 
-all:
-       ../../matitac.opt
-
 # MAS ########################################################################
 
 define MAS_TEMPLATE
@@ -60,6 +57,10 @@ endef
 
 $(foreach PKG, $(PACKAGES), $(eval $(call MAS_TEMPLATE,$(PKG))))
 
+all:
+       @echo "  MATITAC $(PACKAGES)"
+       $(H)../../matitac.opt $(MAS)
+
 # XMAS #######################################################################
 
 define XMAS_TEMPLATE