X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile.common;h=c4a276b82ab2772d8a145b01e387364e21f9a5e5;hb=01d82c5e0c4f01881aeb746062438dcc3d05bc29;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..c4a276b82 100644
--- a/helm/software/lambda-delta/Makefile.common
+++ b/helm/software/lambda-delta/Makefile.common
@@ -3,7 +3,7 @@ H=@
 INCLUDES = $(DIRECTORIES:%=-I %) 
 
 OCAMLDEP  = ocamlfind ocamldep -native $(INCLUDES)
-OCAMLOPT  = ocamlfind opt -package "$(REQUIRES)" $(INCLUDES)
+OCAMLOPT  = ocamlfind opt -linkpkg -package "$(REQUIRES)" $(INCLUDES)
 OCAMLLEX  = ocamllex
 OCAMLYACC = ocamlyacc -v
 TAR       = tar -czf $(MAIN:%=%.tgz)
@@ -64,5 +64,9 @@ tgz: clean
 	$(H)$(OCAMLOPT) -c $<
 
 ifeq ($(MAKECMDGOALS), $(MAIN).opt)
-  include .depend.opt   
+  include .depend.opt
+endif
+
+ifeq ($(MAKECMDGOALS), test)
+  include .depend.opt
 endif