X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FRELATIONAL-ARITHMETICS%2Fmakefile;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2FRELATIONAL-ARITHMETICS%2Fmakefile;h=0000000000000000000000000000000000000000;hb=71757f5e51abfa4c49496403caac2d542611ee5c;hp=a9ac2184e9011c00b0f479caf4cf44f95c8cfe3f;hpb=f9ea1ebdfeee7361aacfbed09b0f8f16c3034be8;p=helm.git

diff --git a/helm/software/matita/contribs/RELATIONAL-ARITHMETICS/makefile b/helm/software/matita/contribs/RELATIONAL-ARITHMETICS/makefile
deleted file mode 100644
index a9ac2184e..000000000
--- a/helm/software/matita/contribs/RELATIONAL-ARITHMETICS/makefile
+++ /dev/null
@@ -1,33 +0,0 @@
-H=@
-
-RT_BASEDIR=/home/fguidi/svn/software/matita/
-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`)
-
-all: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
-clean: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) clean $(devel)
-cleanall: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEAN) all
-
-all.opt opt: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
-clean.opt: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
-cleanall.opt: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all
-
-%.mo: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
-%.mo.opt: preall
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $@
-	
-preall:
-	$(H)MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)
-