A (boring and long) once-in-a-life exercise on proving a trivial property

[helm.git] / helm / software / lambda-delta / Makefile.common

diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common
index b6e08f89ea86b0e8975fb2687629ed0b2f3f3b18..c4a276b82ab2772d8a145b01e387364e21f9a5e5 100644 (file)
--- 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