X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile.common;h=cf15ef85d528358bb2f7664ff17c18ad9f36db2d;hb=421056da7b3e1d6b9d91d72092b4f3c3232a00ce;hp=b6e08f89ea86b0e8975fb2687629ed0b2f3f3b18;hpb=9b4286fdc2d88b0d8018e5718ef055804f5cf7ac;p=helm.git

diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common
index b6e08f89e..cf15ef85d 100644
--- a/helm/software/lambda-delta/Makefile.common
+++ b/helm/software/lambda-delta/Makefile.common
@@ -1,12 +1,15 @@
 H=@
 
+DIRECTORIES = $(shell cat Make)
+
 INCLUDES = $(DIRECTORIES:%=-I %) 
 
 OCAMLDEP  = ocamlfind ocamldep -native $(INCLUDES)
-OCAMLOPT  = ocamlfind opt -package "$(REQUIRES)" $(INCLUDES)
-OCAMLLEX  = ocamllex
+OCAMLOPT  = ocamlfind opt -linkpkg -package "$(REQUIRES)" $(INCLUDES)
+OCAMLLEX  = ocamllex.opt
 OCAMLYACC = ocamlyacc -v
 TAR       = tar -czf $(MAIN:%=%.tgz)
+GZIP      = gzip
 
 define DIR_TEMPLATE
    MODULES += $$(addprefix $(1)/,$$(shell cat $(1)/Make))
@@ -64,5 +67,5 @@ tgz: clean
 	$(H)$(OCAMLOPT) -c $<
 
 ifeq ($(MAKECMDGOALS), $(MAIN).opt)
-  include .depend.opt   
+  include .depend.opt
 endif