]> matita.cs.unibo.it Git - helm.git/commitdiff
rely on correct settings of OCAMLPATH
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Feb 2003 13:55:27 +0000 (13:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Feb 2003 13:55:27 +0000 (13:55 +0000)
helm/hbugs/broker/Makefile

index 989fc3ea367b789adb21f65e4bf145793cb28618..a5b1e9af5d3fd1beb6844fcc6d2dcd9c19f62c8e 100644 (file)
@@ -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        \