]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/daemons/whelp/Makefile
ensure connections get closed after having been served
[helm.git] / helm / software / daemons / whelp / Makefile
index 2ae59df911656519f35efb5d880ec56672a44c1b..9f5e276e36630bb533a17d75192428e53df1b57c 100644 (file)
@@ -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)) \