X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2FLAMBDA-TYPES%2FBase-2%2Fmakefile;fp=matita%2Fcontribs%2FLAMBDA-TYPES%2FBase-2%2Fmakefile;h=0000000000000000000000000000000000000000;hb=711e170c2deaa92289d9d4eb7c0e8aedbe62b5cb;hp=f20e608d86dd3624994ffa6ba268db62d3c80bf3;hpb=fe0aaba722c4a752585bc1046e219b452a2d452b;p=helm.git

diff --git a/matita/contribs/LAMBDA-TYPES/Base-2/makefile b/matita/contribs/LAMBDA-TYPES/Base-2/makefile
deleted file mode 100644
index f20e608d8..000000000
--- a/matita/contribs/LAMBDA-TYPES/Base-2/makefile
+++ /dev/null
@@ -1,58 +0,0 @@
-H=@
-
-RT_BASEDIR=../../../
-OPTIONS=-bench
-MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
-CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) 
-MMAKEO=$(RT_BASEDIR)matitamake.opt $(OPTIONS)
-CLEANO=$(RT_BASEDIR)matitaclean.opt $(OPTIONS) 
-
-devel:=$(shell basename `pwd`)
-
-ifneq "$(SRC)" ""
-  XXX="SRC=$(SRC)"
-endif
-
-all: build_mas preall 
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
-clean: clean_mas preall
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) clean $(devel)
-cleanall: clean_mas preall
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEAN) all
-
-all.opt opt: build_mas preall.opt
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
-clean.opt: clean_mas preall.opt
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
-cleanall.opt: clean_mas preall.opt
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all
-
-%.mo: preall
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
-%.mo.opt: preall.opt
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
-	
-preall:
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)
-
-preall.opt:
-	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) init $(devel)
-
-# FG: added part ############################################################
-
-MATITAC = $(RT_BASEDIR)/matitac.opt
-
-MMAS = $(shell find -name "*.mma")
-MAS = $(MMAS:%.mma=%.ma)
-
-build_mas: preall.opt $(MAS)
-
-clean_mas:
-	$(H)rm -f $(MAS)
-
-%.ma: %.mma
-	$(H)$(MATITAC) -dump $@ $< $(OPTIONS)
-
-include depend
-
-.DELETE_ON_ERROR: