reordered cases

[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..125029529c699b8168d0ae27f3c82fc998be8962 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,27 @@
-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:
+#      echo -e "$< preamble.ma \npreamble.ma" > depends
+       ../../../matitac.opt -dump $@ $< 2>/dev/null
+       ../../../matitadep.opt
+       ../../../matitac.opt $@
+
+$(DIR) all: $(MAS)
+       ../../../matitac
+$(DIR).opt opt all.opt: $(MAS)
+       ../../../matitac.opt
+clean:
+       ../../../matitaclean
+       rm -f $(MAS)
+clean.opt:
+       ../../../matitaclean.opt
+       rm -f $(MAS)
+depend:
+       ../../../matitadep
+depend.opt:
+       ../../../matitadep.opt
+
+include xdepend