]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/Makefile
Debugging stuff removed.
[helm.git] / helm / hbugs / Makefile
index 0ea2557b329ada3c07b63720127f32cb7fce3be4..133d009f33633a5e35b1e2f52306a8eb49d631e0 100644 (file)
@@ -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,20 @@ 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
+restart: stop start
+.PHONY: all byte opt world clean meta restart start stop