global Makefile to build gTopLevel with all its dependencies

diff --git a/helm/Makefile b/helm/Makefile
new file mode 100644 (file)
index 0000000..a7fa0f9
--- /dev/null
+++ b/helm/Makefile
@@ -0,0 +1,17 @@
+DIRS = ocaml hbugs gTopLevel
+
+DIRS_BYTE = $(patsubst %,%.byte,$(DIRS))
+DIRS_OPT = $(patsubst %,%.opt,$(DIRS))
+DIRS_CLEAN = $(patsubst %,%.clean,$(DIRS))
+all: byte
+byte: $(DIRS_BYTE)
+opt: $(DIRS_OPT)
+world: byte opt
+clean: $(DIRS_CLEAN)
+%.byte:
+       $(MAKE) -C $*/ all
+%.opt:
+       $(MAKE) -C $*/ opt
+%.clean:
+       $(MAKE) -C $*/ clean
+.PHONY: all byte opt world clean