]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/Makefile
- added/moved METAs in meta/ dir
[helm.git] / helm / hbugs / Makefile
1 DIRS = common broker
2
3 DIRS_BYTE = $(patsubst %,%.byte,$(DIRS))
4 DIRS_OPT = $(patsubst %,%.opt,$(DIRS))
5 DIRS_CLEAN = $(patsubst %,%.clean,$(DIRS))
6 all: byte
7 meta:
8         $(MAKE) -C meta/
9 byte: meta $(DIRS_BYTE)
10 opt: meta $(DIRS_OPT)
11 world: byte opt
12 clean: $(DIRS_CLEAN)
13         $(MAKE) -C meta/ clean
14 %.byte:
15         $(MAKE) -C $*/ all
16 %.opt:
17         $(MAKE) -C $*/ opt
18 %.clean:
19         $(MAKE) -C $*/ clean
20 .PHONY: all byte opt world clean meta