refactoring of \lambda\delta version 1 in matita

[helm.git] / matitaB / matita / contribs / LAMBDA-TYPES / Makefile

diff --git a/matitaB/matita/contribs/LAMBDA-TYPES/Makefile b/matitaB/matita/contribs/LAMBDA-TYPES/Makefile
deleted file mode 100644 (file)
index 3e42a4e..0000000
--- a/matitaB/matita/contribs/LAMBDA-TYPES/Makefile
+++ /dev/null
@@ -1,50 +0,0 @@
-include ../Makefile.defs
-
-DIR=$(shell basename $$PWD)
-
-H=@
-
-MATITAOPTIONS=$(MATITAUSEROPTIONS) -onepass
-
-LOG = log.txt
-
-MMAS = $(shell find -name "*.mma")
-MAS = $(MMAS:%.mma=%.ma)
-
-$(DIR) all:
-       $(H)$(RM) $(LOG)
-       $(H)$(BIN)matitac $(MATITAOPTIONS) 2>> $(LOG)
-$(DIR).opt opt all.opt:
-       $(H)$(RM) $(LOG)
-       $(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
-
-%.ma %.mma: 
-       $(H)$(RM) $(LOG)
-       $(H)$(BIN)matitac $(MATITAOPTIONS) $@ 2>> $(LOG)
-%.ma.opt: 
-       $(H)$(RM) $(LOG)
-       $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.ma 2>> $(LOG)
-%.mma.opt: 
-       $(H)$(RM) $(LOG)
-       $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.mma 2>> $(LOG)
-
-clean:
-       $(H)$(BIN)matitaclean $(MATITAOPTIONS)
-       $(H)$(RM) $(MAS)
-clean.opt:
-       $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
-       $(H)$(RM) $(MAS)
-
-depend:
-       $$(H)(BIN)matitadep $(MATITAOPTIONS)
-depend.opt:
-       $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
-
-ifneq ($(strip $(MAS)),)
-clean.ma:
-       $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
-       $(H)$(RM) $(MAS)
-else
-clean.ma:
-       $(H)echo no files to clean
-endif