we forgot to delete the old CoRN mma files :)

[helm.git] / helm / software / matita / contribs / CoRN-Procedural / Makefile

diff --git a/helm/software/matita/contribs/CoRN-Procedural/Makefile b/helm/software/matita/contribs/CoRN-Procedural/Makefile
deleted file mode 100644 (file)
index 9336c87..0000000
--- a/helm/software/matita/contribs/CoRN-Procedural/Makefile
+++ /dev/null
@@ -1,43 +0,0 @@
-include ../Makefile.defs
-
-DIR=$(shell basename $$PWD)
-
-H=@
-
-MATITAOPTIONS=
-
-TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
-
-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)
-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
-
-mma: CoRN.conf.xml clean.ma
-       $(H)$(TRANSCRIPT) -C $(BIN) CoRN