]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/whelp/Makefile
half ported to the "new" module organization.
[helm.git] / daemons / whelp / Makefile
index 2ae59df911656519f35efb5d880ec56672a44c1b..c57e6e1f364f5b53e949e2379bc73fb046e75b13 100644 (file)
@@ -1,8 +1,9 @@
-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
+OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
+OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
+OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
+OCAMLDEP = $(OCAMLFIND) ocamldep -package "$(REQUIRES)" -pp camlp4o
 
 MODULES = mooglePp
 SRCS = $(patsubst %,%.ml,$(MODULES)) $(patsubst %,%.mli,$(MODULES)) \