X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fwhelp%2FMakefile;h=9f5e276e36630bb533a17d75192428e53df1b57c;hb=8802f9da75b49a95a1b695504c1b5178bce4d3e3;hp=2ae59df911656519f35efb5d880ec56672a44c1b;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/software/daemons/whelp/Makefile b/helm/software/daemons/whelp/Makefile
index 2ae59df91..9f5e276e3 100644
--- a/helm/software/daemons/whelp/Makefile
+++ b/helm/software/daemons/whelp/Makefile
@@ -1,8 +1,13 @@
-REQUIRES = http helm-cic_textual_parser2 helm-logger helm-tactics
+REQUIRES = http helm-grafite_parser helm-logger helm-tactics helm-cic_disambiguation
 OCAMLOPTIONS = -thread -package "$(REQUIRES)" -pp camlp4o
-OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
-OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
-OCAMLDEP = ocamlfind ocamldep -package "$(REQUIRES)" -pp camlp4o
+ifeq ($(origin OCAMLPATH), undefined)
+OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
+else
+OCAMLFIND = ocamlfind
+endif
+OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
+OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
+OCAMLDEP = $(OCAMLFIND) ocamldep -package "$(REQUIRES)" -pp camlp4o
 
 MODULES = mooglePp
 SRCS = $(patsubst %,%.ml,$(MODULES)) $(patsubst %,%.mli,$(MODULES)) \