From: Stefano Zacchiroli Date: Fri, 21 Feb 2003 13:55:27 +0000 (+0000) Subject: rely on correct settings of OCAMLPATH X-Git-Tag: V_0_0_4_1~10 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=908519e733293ea817c1cf5bb9b61770e594d463;p=helm.git rely on correct settings of OCAMLPATH --- diff --git a/helm/hbugs/broker/Makefile b/helm/hbugs/broker/Makefile index 989fc3ea3..a5b1e9af5 100644 --- a/helm/hbugs/broker/Makefile +++ b/helm/hbugs/broker/Makefile @@ -3,9 +3,9 @@ METADIR = ../meta REQUIRES = http threads hbugs-common hbugs-thread-safe COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o OCAMLFIND = ocamlfind -OCAMLC = OCAMLPATH="$(METADIR)" $(OCAMLFIND) ocamlc $(COMMONOPTS) -OCAMLOPT = OCAMLPATH="$(METADIR)" $(OCAMLFIND) ocamlopt $(COMMONOPTS) -OCAMLDEP = OCAMLPATH="$(METADIR)" $(OCAMLFIND) ocamldep $(COMMONOPTS) +OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS) +OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMONOPTS) +OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMONOPTS) MODULES = hbugs_broker_registry OCAMLDOC = \ ocamldoc \