]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/Makefile
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / Makefile
1 DIRS = meta common broker client tutors
2
3 DIRS_BYTE = $(patsubst %,%.byte,$(DIRS))
4 DIRS_OPT = $(patsubst %,%.opt,$(DIRS))
5 DIRS_CLEAN = $(patsubst %,%.clean,$(DIRS))
6 DIRS_DISTCLEAN = $(patsubst %,%.distclean,$(DIRS))
7 all: byte
8 meta:
9         $(MAKE) -C meta/
10 byte: meta $(DIRS_BYTE)
11 opt: meta $(DIRS_OPT)
12 world: byte opt
13 clean: $(DIRS_CLEAN)
14 distclean: $(DIRS_DISTCLEAN)
15 %.byte:
16         $(MAKE) -C $*/ all
17 %.opt:
18         $(MAKE) -C $*/ opt
19 %.clean:
20         $(MAKE) -C $*/ clean
21 %.distclean:
22         $(MAKE) -C $*/ distclean
23 start:
24         $(MAKE) -C broker/ start
25         $(MAKE) -C tutors/ start
26 stop:
27         $(MAKE) -C tutors/ stop
28         $(MAKE) -C broker/ stop
29 restart: stop start
30 .PHONY: all byte opt world clean meta restart start stop