From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 Feb 2003 17:40:00 +0000 (+0000)
Subject: global Makefile to build gTopLevel with all its dependencies
X-Git-Tag: V_0_0_4_1~17
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3b8903933e9ae1a3aa7f73bf34379fd6ee2ca130;p=helm.git

global Makefile to build gTopLevel with all its dependencies
---

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