fixed ocamldep command line

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 17c341fb8428e1b08278dd5fbbbc4922554cd4c9..800bcf7c74901574f33eaac0bea2374491ae4cd1 100644 (file)
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -22,7 +22,7 @@ OCAMLFIND = OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH @OCAMLFIND@
 REQUIRES := $(shell $(OCAMLFIND) -query -format '%(requires)' helm-$(PACKAGE))
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS) $(PREPROCOPTIONS)
 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
-OCAMLDEP = $(OCAMLFIND) ocamldep -package "camlp4 $(CAMLP4REQUIRES)" $(SYNTAXOPTIONS)
+OCAMLDEP = $(OCAMLFIND) ocamldep -package "camlp4 $(CAMLP4REQUIRES)" $(SYNTAXOPTIONS) $(OCAMLDEPOPTIONS) 
 OCAMLLEX = ocamllex
 OCAMLYACC = ocamlyacc
 

diff --git a/helm/ocaml/tactics/Makefile b/helm/ocaml/tactics/Makefile
index a39d01930c0ac3d19778b1a0156481b9f3eb5bda..db8cc9231f978623d6ad2111362bbb23857513f6 100644 (file)
--- a/helm/ocaml/tactics/Makefile
+++ b/helm/ocaml/tactics/Makefile
@@ -31,3 +31,4 @@ STATS_EXCLUDE = tactics.mli
 include ../Makefile.common
 
 OCAMLOPTIONS+= -I paramodulation
+OCAMLDEPOPTIONS+= -I paramodulation