X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2FMakefile;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2FMakefile;h=74274ddb3ccafa4645a51526fa83023b32f867a7;hb=caf822cbe34e204e6d1b72e272373b561c1a565a;hp=0000000000000000000000000000000000000000;hpb=dfa1cda217f6b9a871ecbdd9bc54920f4a78d301;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/Makefile b/matita/matita/contribs/lambdadelta/bin/Makefile
new file mode 100644
index 000000000..74274ddb3
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/bin/Makefile
@@ -0,0 +1,10 @@
+H=@
+
+BINARIES = inline xhtbl index roles recomm
+
+all: $(BINARIES:%=rec@all@%)
+clean: $(BINARIES:%=rec@clean@%) 
+
+rec@%:
+	$(H)$(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))
+