From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 31 Jan 2006 12:32:39 +0000 (+0000)
Subject: fixed ocamldep command line
X-Git-Tag: make_still_working~7713
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0a1c85c374059deec6748e090acaa5cea117075d;p=helm.git

fixed ocamldep command line
---

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 17c341fb8..800bcf7c7 100644
--- 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 a39d01930..db8cc9231 100644
--- 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