From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 19 Feb 2003 14:19:49 +0000 (+0000)
Subject: - added distclean support
X-Git-Tag: V_0_0_4_1~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5175b0757d9f95c22fe145110aba428d49cf74df;p=helm.git

- added distclean support
- added start/stop target to start/stop broker _and_ tutors
- added recursive invocation on meta and tutors dirs
---

diff --git a/helm/hbugs/Makefile b/helm/hbugs/Makefile
index 0ea2557b3..02b95f58b 100644
--- a/helm/hbugs/Makefile
+++ b/helm/hbugs/Makefile
@@ -1,8 +1,9 @@
-DIRS = common broker client
+DIRS = meta common broker client tutors
 
 DIRS_BYTE = $(patsubst %,%.byte,$(DIRS))
 DIRS_OPT = $(patsubst %,%.opt,$(DIRS))
 DIRS_CLEAN = $(patsubst %,%.clean,$(DIRS))
+DIRS_DISTCLEAN = $(patsubst %,%.distclean,$(DIRS))
 all: byte
 meta:
 	$(MAKE) -C meta/
@@ -10,11 +11,19 @@ byte: meta $(DIRS_BYTE)
 opt: meta $(DIRS_OPT)
 world: byte opt
 clean: $(DIRS_CLEAN)
-	$(MAKE) -C meta/ clean
+distclean: $(DIRS_DISTCLEAN)
 %.byte:
 	$(MAKE) -C $*/ all
 %.opt:
 	$(MAKE) -C $*/ opt
 %.clean:
 	$(MAKE) -C $*/ clean
-.PHONY: all byte opt world clean meta
+%.distclean:
+	$(MAKE) -C $*/ distclean
+start:
+	$(MAKE) -C broker/ start
+	$(MAKE) -C tutors/ start
+stop:
+	$(MAKE) -C tutors/ stop
+	$(MAKE) -C broker/ stop
+.PHONY: all byte opt world clean meta start stop