fixed dependences

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / Base-2 / Makefile

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile
index 2524510f3115cad35b0da109d7275b5a4603a29e..fb110c559445e21a8de09e3eff8e8992b47f3093 100644 (file)
--- 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