X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FMakefile;fp=matitaB%2Fmatita%2Fcontribs%2FLAMBDA-TYPES%2FMakefile;h=0000000000000000000000000000000000000000;hb=88a68a9c334646bc17314d5327cd3b790202acd6;hp=3e42a4ea18c5fd0fd93d5b0a149b47c6009aef07;hpb=4904accd80118cb8126e308ae098d87f8651c9f4;p=helm.git

diff --git a/matitaB/matita/contribs/LAMBDA-TYPES/Makefile b/matitaB/matita/contribs/LAMBDA-TYPES/Makefile
deleted file mode 100644
index 3e42a4ea1..000000000
--- 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