X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Fbinaries%2FMakefile;fp=components%2Fbinaries%2FMakefile;h=cd732517c066706a5f7ab7540acc288905d1b104;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/binaries/Makefile b/components/binaries/Makefile
new file mode 100644
index 000000000..cd732517c
--- /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 @, ,$*))
+