From 3b8903933e9ae1a3aa7f73bf34379fd6ee2ca130 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 Feb 2003 17:40:00 +0000
Subject: [PATCH] global Makefile to build gTopLevel with all its dependencies

---
 helm/Makefile | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 helm/Makefile

diff --git a/helm/Makefile b/helm/Makefile
new file mode 100644
index 000000000..a7fa0f905
--- /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
-- 
2.39.2