X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fbroker%2FMakefile;h=a5b1e9af5d3fd1beb6844fcc6d2dcd9c19f62c8e;hb=2779c4191d0c14aa7bec9a861974a6a1f815ca03;hp=989fc3ea367b789adb21f65e4bf145793cb28618;hpb=8c365b5186c072620e9ec3fcafab70273e1afdce;p=helm.git

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	\