From f0bfcd28e54158789fdcf5e8024c84cbc35e6e70 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 8 Jul 2005 11:37:41 +0000 Subject: [PATCH] dead code removed --- helm/matita/library/Makefile | 10 +++++----- helm/matita/tests/Makefile | 10 +++++----- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile index 7b456849a..5e3aaef45 100644 --- a/helm/matita/library/Makefile +++ b/helm/matita/library/Makefile @@ -15,7 +15,7 @@ DEPEND_NAME=.depend H=@ -all: $(LINKS) $(SRC:%.ma=%.moo) +all: $(SRC:%.ma=%.moo) opt: $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all @@ -29,10 +29,10 @@ verboseopt: %.opt: $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%) -clean: $(LINKS) +clean: $(H)$(MATITACLEAN) $(SRC) -cleanall: $(LINKS) +cleanall: $(H)rm -f $(SRC:%.ma=%.moo) $(MATITACLEAN) all @@ -41,11 +41,11 @@ depend: make $(DEPEND_NAME) .PHONY: depend -%.moo:%.ma $(LINKS) +%.moo:%.ma $(H)[ ! -e $@ ] || $(MATITACLEAN) $< $(H)$(MATITAC) $< || $(MATITACLEAN) $< -$(DEPEND_NAME): $(SRC) $(LINKS) +$(DEPEND_NAME): $(SRC) $(H)$(MATITADEP) $(SRC) > $@ include $(DEPEND_NAME) diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile index fb68f2b79..4c3b92d3d 100644 --- a/helm/matita/tests/Makefile +++ b/helm/matita/tests/Makefile @@ -15,7 +15,7 @@ DEPEND_NAME=.depend H=@ -all: $(LINKS) $(SRC:%.ma=%.moo) +all: $(SRC:%.ma=%.moo) opt: $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" all @@ -29,10 +29,10 @@ verboseopt: %.opt: $(H)make MATITAC="$(MATITACOPT)" MATITACLEAN="$(MATITACLEANOPT)" MATITADEP="$(MATITADEPOPT)" $(@:%.opt=%) -clean: $(LINKS) +clean: $(H)$(MATITACLEAN) $(SRC) -cleanall: $(LINKS) +cleanall: $(H)rm -f $(SRC:%.ma=%.moo) $(MATITACLEAN) all @@ -41,11 +41,11 @@ depend: make $(DEPEND_NAME) .PHONY: depend -%.moo:%.ma $(LINKS) +%.moo:%.ma $(H)[ ! -e $@ ] || $(MATITACLEAN) $< $(H)$(MATITAC) $< || $(MATITACLEAN) $< -$(DEPEND_NAME): $(SRC) $(LINKS) +$(DEPEND_NAME): $(SRC) $(H)$(MATITADEP) $(SRC) > $@ include $(DEPEND_NAME) -- 2.39.2