branch for universe

[helm.git] / components / binaries / Makefile

diff --git a/components/binaries/Makefile b/components/binaries/Makefile
new file mode 100644 (file)
index 0000000..cd73251
--- /dev/null
+++ b/components/binaries/Makefile
@@ -0,0 +1,18 @@
+H=@
+
+#CSC: saturate is broken after the huge refactoring of auto/paramodulation
+#CSC: by Andrea
+#BINARIES=extractor  table_creator  utilities saturate
+BINARIES=extractor  table_creator  utilities transcript heights
+
+all: $(BINARIES:%=rec@all@%) 
+opt: $(BINARIES:%=rec@opt@%)
+depend: $(BINARIES:%=rec@depend@%)
+depend.opt: $(BINARIES:%=rec@depend.opt@%)
+install: $(BINARIES:%=rec@install@%)
+uninstall: $(BINARIES:%=rec@uninstall@%)
+clean: $(BINARIES:%=rec@clean@%) 
+
+rec@%:
+       $(H)$(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))
+