From 0a1c85c374059deec6748e090acaa5cea117075d Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Tue, 31 Jan 2006 12:32:39 +0000 Subject: [PATCH] fixed ocamldep command line --- helm/ocaml/Makefile.common.in | 2 +- helm/ocaml/tactics/Makefile | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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 -- 2.39.2