]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
- we now use a streaming architecture (run time gain: 11 secs)
[helm.git] / helm / software / lambda-delta / Makefile.common
index b6e08f89ea86b0e8975fb2687629ed0b2f3f3b18..0adedde842b7d0a8c60e1db26cf312cae2d7aff6 100644 (file)
@@ -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)