]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
new kernel basic_ag (with absolute local references)
[helm.git] / helm / software / lambda-delta / Makefile.common
index e4489040d2d83d0e7adcb7f55e29aca7dfcf02b6..cf15ef85d528358bb2f7664ff17c18ad9f36db2d 100644 (file)
@@ -1,5 +1,7 @@
 H=@
 
+DIRECTORIES = $(shell cat Make)
+
 INCLUDES = $(DIRECTORIES:%=-I %) 
 
 OCAMLDEP  = ocamlfind ocamldep -native $(INCLUDES)