fixed ocamldep command line

[helm.git] / helm / ocaml / tactics / Makefile

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