X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile.common;h=cf15ef85d528358bb2f7664ff17c18ad9f36db2d;hb=cbd3ca06d7b0c8ea32cfc15b7206a940259e479e;hp=e4489040d2d83d0e7adcb7f55e29aca7dfcf02b6;hpb=75620ca64e3038fcbebb51559fdc31b2e8a00f93;p=helm.git

diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common
index e4489040d..cf15ef85d 100644
--- a/helm/software/lambda-delta/Makefile.common
+++ b/helm/software/lambda-delta/Makefile.common
@@ -1,5 +1,7 @@
 H=@
 
+DIRECTORIES = $(shell cat Make)
+
 INCLUDES = $(DIRECTORIES:%=-I %) 
 
 OCAMLDEP  = ocamlfind ocamldep -native $(INCLUDES)