X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2FMakefile;h=a7898ea68bd88a9c2e967aa5b69592c0fb26dc8f;hb=fec47c17784b6c916f1398bb047ff0b02a887609;hp=da34da0ac65a632e2c1f2c77beec8b690711b415;hpb=3c1a6c534877f7b7266809e4d92de02c7f1ee9d4;p=helm.git

diff --git a/helm/hbugs/Makefile b/helm/hbugs/Makefile
index da34da0ac..a7898ea68 100644
--- a/helm/hbugs/Makefile
+++ b/helm/hbugs/Makefile
@@ -4,14 +4,17 @@ 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