X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FBase-2%2FMakefile;h=fb110c559445e21a8de09e3eff8e8992b47f3093;hb=8b81a921636cd50f223f33cacda07bc0958b9ae8;hp=2524510f3115cad35b0da109d7275b5a4603a29e;hpb=797f61edb93f41eb2c5e281bc9457f6bff633063;p=helm.git

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile
index 2524510f3..fb110c559 100644
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile
@@ -1,27 +1,30 @@
-include ../../../../Makefile.defs
-
-H=@
-
-MATITAC = $(RT_BASE_DIR)/matitac.opt
+DIR=$(shell basename $$PWD)
 
 MMAS = $(shell find -name "*.mma")
 MAS = $(MMAS:%.mma=%.ma)
 
-all: OPTIONS = -bench
-
-log: OPTIONS = >> tmp.txt 2>&1 
- 
-all: $(MAS)
-
-log: $(MAS)
-	$(H)mv tmp.txt log.txt
-
-clean:
-	$(H)rm -f $(MAS)
-
 %.ma: %.mma
-	$(H)$(MATITAC) -dump $@ $< $(OPTIONS)  
-
-include depend
-
-.DELETE_ON_ERROR:
+	../../../matitac.opt -dump $@ $< 2>/dev/null
+	$(MAKE) depend.opt
+	../../../matitac.opt $@
+
+$(DIR) all: $(MAS)
+	../../../matitac
+$(DIR).opt opt all.opt: $(MAS)
+	../../../matitac.opt
+clean:
+	../../../matitaclean
+	rm -f $(MAS)
+	$(MAKE) depend
+clean.opt:
+	../../../matitaclean.opt
+	rm -f $(MAS)
+	$(MAKE) depend.opt
+depend:
+	../../../matitadep
+	cat depends_mma >> depends
+depend.opt:
+	../../../matitadep.opt
+	cat depends_mma >> depends
+
+include .depend