]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/Makefile
debian release 0.3.99-1
[helm.git] / helm / hbugs / Makefile
index da34da0ac65a632e2c1f2c77beec8b690711b415..0ea2557b329ada3c07b63720127f32cb7fce3be4 100644 (file)
@@ -1,17 +1,20 @@
-DIRS = common broker
+DIRS = common broker client
 
 DIRS_BYTE = $(patsubst %,%.byte,$(DIRS))
 DIRS_OPT = $(patsubst %,%.opt,$(DIRS))
 DIRS_CLEAN = $(patsubst %,%.clean,$(DIRS))
 all: byte
-byte: $(DIRS_BYTE)
-opt: $(DIRS_OPT)
+meta:
+       $(MAKE) -C meta/
+byte: meta $(DIRS_BYTE)
+opt: meta $(DIRS_OPT)
 world: byte opt
 clean: $(DIRS_CLEAN)
+       $(MAKE) -C meta/ clean
 %.byte:
        $(MAKE) -C $*/ all
 %.opt:
        $(MAKE) -C $*/ opt
 %.clean:
        $(MAKE) -C $*/ clean
-.PHONY: all byte opt world clean
+.PHONY: all byte opt world clean meta